Search for 'se:Trends in Logic'

Vol. 3.: Nonmonotonic reasoning and uncertain reasoning /

Oxford : Clarendon Press, 1994 . XIX, 529 p. ; 24 cm.. 0198537476

Place Hold on Vol. 3.: Nonmonotonic reasoning and uncertain reasoning /

Vol. 1: Background : mathematical structures

Oxford : Clarendon Press, 1992 . XII, 827 p. ; 24 cm.. 0198537352

Place Hold on Vol. 1: Background : mathematical structures

Vol. 2: Background : computational structures

Oxford : Clarendon Press, 1992 . X, 571 p. ; 24 cm.. 0198537611

Place Hold on Vol. 2: Background : computational structures

Information modelling and knowledge bases XI /

Amsterdam : IOS Press, 2000 . X, 315 p. ; 24 cm.. 1586030418

Place Hold on Information modelling and knowledge bases XI /

Vol. 2.: Deduction methodologies /

Oxford : Clarendon Press, 1994 . XV, 511 p. ; 24 cm.. 0198537468

Place Hold on Vol. 2.: Deduction methodologies /

Artificial intelligence : a modern approach /

By Russell, Stuart J.. Englewood Cliffs : Prentice Hall, 1995 . XXVIII, 932 p. : 24 cm.. 0133601242

Place Hold on Artificial intelligence : a modern approach /

Cambridge Summer School in Mathematical Logic, held in Cambridge, England, August 1-21, 1971 /

Berlin ; New York : Springer-Verlag, 1973 . IX, 660 p. ; 25 cm.. 354005569x

Place Hold on Cambridge Summer School in Mathematical Logic, held in Cambridge, England, August 1-21, 1971 /

Undecidable theories /

By Tarski, Alfred. Amsterdam : North-Holland, 1971 . XI, 98 p. ; 23 cm.. 0720422469

Place Hold on Undecidable theories /

Logic colloquium '69 : proceedings of the Summer school and Colloquiun in Mathematical Logic, Manchester, August 1969 /

Amsterdam North-Holland, 1971 . XIV, 451 p. ; 23 cm.. 0720422612

Place Hold on Logic colloquium '69 : proceedings of the Summer school and Colloquiun in Mathematical Logic, Manchester, August 1969 /

Meta-programming in logic : third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992 : proceedings /

Berlin : Springer-Verlag, 1992 . XII, 351 p. ; 25 cm.. 3540562826

Place Hold on Meta-programming in logic : third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992 : proceedings /

Logics in AI : European Workshop JELIA '90, Amsterdam, The Nederlands, September 10-14, 1990, proceedings /

Berlin ; New York : Springer-Verlag, 1991 . IX, 561 p. : 25 cm.. 3540536868

Place Hold on Logics in AI : European Workshop JELIA '90, Amsterdam, The Nederlands, September 10-14, 1990, proceedings /

Essays in logical semantics /

By Benthem, John A. K. van. Dordrecht ; Boston : D. Reidel Pub. Co., 1986 . XI, 225 p. ; 23 cm.. 9027720916

Place Hold on Essays in logical semantics /

Logic programming /

London ; New York : Academic Press, 1982 . XVII, 366 p. : , Based on the proceedings of the first International Workshop on Logic Programming, held in Debrecen, Hungaryin 1980. 24 cm.. 0121755207

Place Hold on Logic programming /

Probabilistic reasoning in intelligent systems : networks of plausible inference /

By Pearl, Judea. San Francisco : Morgan Kaufmann, 1991 . XIX, 552 p. : 23 cm.. 1558604790

Place Hold on Probabilistic reasoning in intelligent systems : networks of plausible inference /

Categorization and naming in children : problems of education /

By Markman, Ellen M.. Cambridge : The MIT Press, 1989 . 250 p. ; 23 cm.. 0262631369

Place Hold on Categorization and naming in children : problems of education /

Proof theory /

By Takeuti, Gaisi. Amsterdam : North-Holland, 1975 . VII, 372 p. ; 23 cm.. 0720422000

Place Hold on Proof theory /

Computational phonology : a constraint-based approach /

By Bird, Steven. Cambridge : Cambridge University Press, 1995 . XV, 203 p. : 23 cm.. 0521474965

Place Hold on Computational phonology : a constraint-based approach /

Calculus and computer science theory : proceedings of the Symposium held in Rome, March 25-27, 1975 /

Berlin : Springer Verlag, 1975 . XII, 370 p. ; 24 cm.. 3540074163

Place Hold on Calculus and computer science theory : proceedings of the Symposium held in Rome, March 25-27, 1975 /

Propositional attitudes : an essay on thoughts and how we ascribe them /

By Richard, Mark. Cambridge : Cambridge University Press, 1990 . IX, 275 p. ; 21 cm.. 0521388198

Place Hold on Propositional attitudes : an essay on thoughts and how we ascribe them /

Philosophical logic /

Dordrecht : D. Reidel, 1969 . VIII, 277 p. ; 23 cm..

Place Hold on Philosophical logic /