Results
|
|
Eco-logic : logic-based approaches to ecological modelling / David Robertson ... [et al.] Publication: Cambridge, US : The MIT Press, cop. 1991Description: 243 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QH541.15.ECO FCT 22116 (1).
|
|
|
Types in logic programming / Frank Pfenning, ed. lit. Publication: Cambridge, US : The MIT Press, cop. 1992Description: XVIII, 357 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.63.TYP FCT 22117 (1).
|
|
|
Genetic programming : on the programming of computers by means of natural selection / John R. Koza Publication: Cambridge, US : The MIT Press, cop. 1992Description: XIV, 819 p. :
il. ;
26 cmAvailability: Items available for loan: Call number: QA76.6.KOZ FCT 22118 (1).
|
|
|
|
|
|
|
|
|
Thinking things through : an introduction to philosophical issues and achievements / Clark Glymour Publication: Cambridge, US : The MIT Press, cop. 1992Description: XI, 382 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: B74.GLY FCT 22122 (1).
|
|
|
Creative cognition : theory, research, and applications / Ronald A. Finke, Thomas B. Ward, Steven M. Smith Publication: Cambridge, US : The MIT Press, cop. 1992Description: VI, 239 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: BF408.FIN FCT 22125 (1).
|
|
|
Explanation and interaction : the computer generation of explanatory dialogues / Alison Cawsey Publication: Cambridge, US : The MIT Press, cop. 1993Description: VI, 232 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.9.CAW FCT 22126 (1).
|
|
|
Machine learning : paradigms and methods / J. G. Carbonell, ed. lit. Publication: Cambridge, US : The MIT Press, cop. 1990Description: 394 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: Q325.5.MAC FCT 22127 (1).
|
|
|
Knowledge representation / Ronald J. Brachman, Hector J. Levesque, Raymond Reiter, ed. lit. Publication: Cambridge, US : The MIT Press, cop. 1992Description: 408 p. :
il. ;
27 cmAvailability: Items available for loan: Call number: Q387.KNO FCT 22128 (1).
|
|
|
|
|
|
Logic programming : proceedings of the joint international conference and symposium on logic programming / K. R. Apt, ed. lit. Publication: Cambridge, US : The MIT Press, cop. 1992Description: XX, 848 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: QA76.63.LOG FCT 22130 (1).
|
|
|
|
|
|
Logic programming languages : constraints, functions, and objects / K. R. Apt, ed. lit. Publication: Cambridge, US : The MIT Press, cop. 1993Description: XIV, 204 p. :
il. ;
24 cmAvailability: Items available for reference: Não pode ser emprestado, apenas consulta localCall number: QA76.63.LOG FCT 22860 (1). :
|
|
|
The art of the metaobject protocol / Gregor Kiczales, Jim Des Rivières, Daniel G. Bobrow Publication: Cambridge, US : The MIT Press, cop. 1991Description: VIII, 335 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: QA76.73.KIC FCT 22890 (1).
|
|
|
|
|
|
|
|
|
Logic programming : proceedings of the tenth international conference on logic programming / edited by David S. Warren Publication: Cambridge, US : The MIT Press, cop. 1993Description: XX, 854 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: Q334.LOG FCT 23156 (1).
|
|
|
Reflections on Kurt Gödel / Hao Wang Publication: Cambridge, US : The MIT Press, cop. 1987Description: XXVI, 336 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: QA29.WAN FCT 23157 (1).
|
|
|
The revision theory of truth / Anil Gupta, Nuel Belnap Publication: Cambridge, US : The MIT Press, cop. 1993Description: XII, 299 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: BC171.GUP FCT 23158 (1).
|