981- 1000 of 1176 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Process, Reality, and the Power of Symbols: Thinking with A.N. Whitehead / Edition 1, Author: M. Code
QUICK ADD
Process, Reality, and the…
by M. Code
Hardcover $54.99
Title: Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings / Edition 1, Author: Jean-Yves Girard
QUICK ADD
Typed Lambda Calculi and…
by Jean-Yves Girard
#1581 in Series
Paperback $54.99
Title: Logic: a Brief Course / Edition 1, Author: Daniele Mundici
QUICK ADD
Logic: a Brief Course /…
by Daniele Mundici
Explore Series
Paperback $54.99
Title: Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht / Edition 1, Author: Jan Mycielski
QUICK ADD
Structures in Logic and…
by Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa
#1261 in Series
Paperback $54.99
Title: Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings / Edition 1, Author: Martin Giese
QUICK ADD
Automated Reasoning with…
by Martin Giese, Arild Waaler
#5607 in Series
Paperback $54.99
Title: Learning Language in Logic / Edition 1, Author: James Cussens
QUICK ADD
Learning Language in Logic /…
by James Cussens, Saso Dzeroski
#1925 in Series
Paperback $54.99
Title: Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers / Edition 1, Author: Egon Bïrger
QUICK ADD
Computer Science Logic: 7th…
by Egon Bïrger, Yuri Gurevich, Karl Meinke
#832 in Series
Paperback $54.99
Title: Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings / Edition 1, Author: Jim Grundy
QUICK ADD
Theorem Proving in Higher…
by Jim Grundy, Malcolm Newey
#1479 in Series
Paperback $54.99
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings / Edition 1, Author: Moshe Vardi
QUICK ADD
Logic for Programming,…
by Moshe Vardi, Andrei Voronkov
#2850 in Series
Paperback $54.99
Title: Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, Author: Juliette Kennedy
QUICK ADD
Logic, Language, Information,…
by Juliette Kennedy, Ruy J.G.B. de Queiroz
#10388 in Series
Paperback $54.99
Title: Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings / Edition 1, Author: Manuel Kauers
QUICK ADD
Towards Mechanized…
by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
#4573 in Series
Paperback $54.99
Title: Logica Universalis: Towards a General Theory of Logic / Edition 2, Author: Jean-Yves Beziau
QUICK ADD
Logica Universalis: Towards a…
by Jean-Yves Beziau
Paperback $54.99
Title: Elements of Logic and Foundations of Mathematics in Problems / Edition 1, Author: Wiktor Marek
QUICK ADD
Elements of Logic and…
by Wiktor Marek, Janusz Onyszkiewicz
Hardcover $54.99
Title: Logical Investigations Volume 2 / Edition 1, Author: Edmund Husserl
QUICK ADD
Logical Investigations Volume…
by Edmund Husserl, Dermot Moran, J.N. Findlay
Explore Series
Paperback $54.99
Title: An Invitation to Abstract Mathematics / Edition 1, Author: Bïla Bajnok
QUICK ADD
An Invitation to Abstract…
by Bïla Bajnok
Explore Series
Hardcover $54.99
Title: Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings / Edition 1, Author: Nicola Olivetti
QUICK ADD
Automated Reasoning with…
by Nicola Olivetti
#4548 in Series
Paperback $54.99
Title: Combinatorics on Words: 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings, Author: Florin Manea
QUICK ADD
Combinatorics on Words: 10th…
by Florin Manea, Dirk Nowotka
#9304 in Series
Paperback $54.99
Title: Utilizing Problem Structure in Planning: A Local Search Approach / Edition 1, Author: Jörg Hoffmann
QUICK ADD
Utilizing Problem Structure in…
by Jörg Hoffmann
#2854 in Series
Paperback $54.99
Title: Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / Edition 1, Author: Steffen Hölldobler
QUICK ADD
Logics in Artificial…
by Steffen Hölldobler, Carsten Lutz, Heinrich Wansing
#5293 in Series
Paperback $54.99
Title: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings / Edition 1, Author: Michael Clarke
QUICK ADD
Symbolic and Quantitative…
by Michael Clarke, Rudolf Kruse, Serafin Moral
#747 in Series
Paperback $54.99

Pagination Links