Results
|
|
|
|
|
|
|
|
|
|
|
Information-based syntax and semantics : volume 1 : fundamentals / Carl Jesse Pollard, Ivan A. Sag Publication: Menlo Park, US : CSLI, cop. 1987Description: X, 227 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: P291.POL FCT 23909 (1).
|
|
|
|
Symbolic and quantitative approaches to reasoning and uncertainty : proceedings of the european conference ECSQARU'93, held in Granada, Spain, November 8-10, 1993 / Michael Clarke, Rudolf Kruse, Serafín Moral, ed. lit. Publication: Berlin : Heidelberg, DE : Springer-Verlag, cop. 1993Description: X, 390 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 25578 (1).
|
|
|
|
Communications and cryptography : two sides of one tapestry / Richard E. Blahut, Daniel J. Costello, Jr., Ueli Maurer Publication: Boston : Kluwer Academic Publishers, cop. 1994Description: XVI, 481 p. :
il. ;
26 cmAvailability: Items available for loan: Call number: QA75.5.COM FCT 27543 (1).
|
|
|
|
Machine intelligence : respectives on the computational model / edited with an introduction by Andy Clark, Josefa Toribio Publication: New York : London : Garland Publishing, Inc., 1998Description: XIII, 290 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q335.MAC FCT 37083 (1).
|
|
|
|
Logic programming and knowledge representation : third international workshop, LPKR'97, Port Jefferson, New York, USA, October, 1997 : selected papers / Jurgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski, ed. lit. Publication: New York : Springer, cop. 1998Description: VIII, 246 p. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 36428 (1).
|
|
|
|
Advances in artificial intelligence : 14th Brazilian symposium on artificial intelligence, SBIA'98, Porto Alegre, Brazil, November 1998 : proceedings / Flávio Moreira de Oliveira, ed. lit. Publication: Berlin [etc.] : Springer, cop. 1998Description: X, 258 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 46856 (1).
|
|
|
|
|
|
|
|
Probabilité et information : théorie et application / A. M. Yaglom, I. M. Yaglom ; traduit par G. Roos Publication: Paris : Dunod, 1969Description: XII, 320 p. :
il. ;
22 cmAvailability: Items available for loan: Call number: QA273.YAG FCT 41341 (1).
|
|
|
|
|
|
|
|
Business dynamics : systems thinking and modeling for a complex world / John D. Sterman Publication: Boston [etc.] : McGraw-Hill, cop. 2000Description: XXVI, 982 p. ;
26 cmAvailability: Items available for loan: Call number: HD30.2.STE FCT 53943 (1).
|
|
|
|
|
|
|
|
Reasoning about uncertainty / Joseph Y. Halpern Publication: London : The MIT Press, cop. 2003Description: XIV, 483 p. ;
23 cmAvailability: Items available for loan: Call number: Q375.HAL FCT 61814 (2).
|
|
|
|
|
|
|
|
Reasoning web : second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures / Pedro Barahona, ed. lit. ... [et al.] Publication: Berlin : Heidelberg : Springer, cop. 2006Description: XII, 268 p. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 63007 (1).
|
|
|
|
Dos sistemas centrados aos sistemas acentrados : modelos em ciências cognitivas, teoria social e novas tecnologias da informação / António Machuco Rosa Publication: Lisboa : Vega, cop. 2002Description: 286 p. ;
21 cmAvailability: Items available for loan: Call number: BF311.ROS FCT 54765 (1).
|
|
|
|
|
|
|
|
Codici correttori [Documento eletrónico] : un’introduzione / Luca Giuzzi Publication: Milano : Springer , 2006Description: XVI, 405 p.Availability:
|
|
|
|
|
