961- 980 of 1282 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings / Edition 1, Author: Boris Konev
QUICK ADD
Frontiers of Combining Systems…
by Boris Konev, Frank Wolter
#4720 in Series
Paperback $54.99
Title: Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Author: Carsten Lutz
QUICK ADD
Description Logic, Theory…
by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
#11560 in Series
Paperback $54.99
Title: Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings, Author: Andreas Herzig
QUICK ADD
Foundations of Information and…
by Andreas Herzig, Juha Kontinen
#12012 in Series
Paperback $54.99
Title: Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings / Edition 1, Author: Helene Kirchner
QUICK ADD
Frontiers of Combining Systems…
by Helene Kirchner, Christophe Ringeissen
#1794 in Series
Paperback $54.99
Title: Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings / Edition 1, Author: Reinhard Kahle
QUICK ADD
Proof Theory in Computer…
by Reinhard Kahle, Peter Schroeder-Heister, Robert Stïrk
#2183 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / Edition 1, Author: Jean-Christophe Filliatre
QUICK ADD
Types for Proofs and Programs:…
by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
#3839 in Series
Paperback $54.99
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: Logics in Artificial Intelligence: European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings / Edition 1, Author: Jose Julio Alferes
QUICK ADD
Logics in Artificial…
by Jose Julio Alferes, Luis Moniz Pereira, Eva Orlowska
#1126 in Series
Paperback $54.99
Title: Philosophy of Mathematics: A Contemporary Introduction to the World of Proofs and Pictures / Edition 2, Author: James Robert Brown
QUICK ADD
Philosophy of Mathematics: A…
by James Robert Brown
Explore Series
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: Reflections on Reasoning / Edition 1, Author: Raymond S. Nickerson
QUICK ADD
Reflections on Reasoning /…
by Raymond S. Nickerson
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: 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: Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings / Edition 1, Author: Pierangelo Miglioli
QUICK ADD
Theorem Proving with Analytic…
by Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
#1071 in Series
Paperback $54.99
Title: The Temporal Logic of Reactive and Concurrent Systems: Specification / Edition 1, Author: Zohar Manna
QUICK ADD
The Temporal Logic of Reactive…
by Zohar Manna, Amir Pnueli
Paperback $54.99
Title: Nonsymmetric Operads in Combinatorics, Author: Samuele Giraudo
QUICK ADD
Nonsymmetric Operads in…
by Samuele Giraudo
Explore Series
Hardcover $54.99
Title: Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings / Edition 1, Author: Marc Bezem
QUICK ADD
Typed Lambda Calculi and…
by Marc Bezem, Jan F. Groote
#664 in Series
Paperback $54.99
Title: Fuzzy Logic, Neural Networks, and Evolutionary Computation: IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected Papers / Edition 1, Author: Takeshi Furuhashi
QUICK ADD
Fuzzy Logic, Neural Networks,…
by Takeshi Furuhashi, Yoshiki Uchikawa
#1152 in Series
Paperback $54.99
Title: Logic for Applications / Edition 2, Author: Anil Nerode
QUICK ADD
Logic for Applications /…
by Anil Nerode, Richard A. Shore
Explore Series
Paperback $54.99
Title: Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers / Edition 1, Author: John A. Campbell
QUICK ADD
Artificial Intelligence and…
by John A. Campbell, Eugenio Roanes-Lozano
#1930 in Series
Paperback $54.99

Pagination Links