1- 20 of 101 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, Author: J. Christopher Beck
QUICK ADD
Principles and Practice of…
by J. Christopher Beck
#10416 in Series
Paperback $54.99
Title: Proof and System-Reliability / Edition 1, Author: Helmut Schwichtenberg
QUICK ADD
Proof and System-Reliability /…
by Helmut Schwichtenberg, Ralf Steinbrïggen
#62 in Series
Paperback $54.99
Title: Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, Author: T.V. Gopal
QUICK ADD
Theory and Applications of…
by T.V. Gopal, Gerhard Jäger, Silvia Steila
#10185 in Series
Paperback $54.99
Title: Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings / Edition 1, Author: Samson Abramsky
QUICK ADD
Typed Lambda Calculi and…
by Samson Abramsky
#2044 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: Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / Edition 1, Author: Mark Aagaard
QUICK ADD
Theorem Proving in Higher…
by Mark Aagaard, John Harrison
#1869 in Series
Paperback $54.99
Title: Natural Language and Logic: International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings / Edition 1, Author: Rudi Studer
QUICK ADD
Natural Language and Logic:…
by Rudi Studer
#459 in Series
Paperback $54.99
Title: Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems: IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers / Edition 1, Author: Trevor Martin
QUICK ADD
Fuzzy Logic in Artificial…
by Trevor Martin, Anca L. Ralescu
#1188 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
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / Edition 1, Author: Andrei Voronkov
QUICK ADD
Logic Programming and…
by Andrei Voronkov
#624 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: Nonmonotonic Logics: Basic Concepts, Results, and Techniques / Edition 1, Author: Karl Schlechta
QUICK ADD
Nonmonotonic Logics: Basic…
by Karl Schlechta
#1187 in Series
Paperback $54.99
Title: Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings, Author: Patrick Blackburn
QUICK ADD
Logic, Rationality, and…
by Patrick Blackburn, Emiliano Lorini, Meiyun Guo
#11813 in Series
Paperback $54.99
Title: Grammatical Inference: Algorithms and Applications: 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings / Edition 1, Author: Arlindo L. Oliveira
QUICK ADD
Grammatical Inference:…
by Arlindo L. Oliveira
#1891 in Series
Paperback $54.99
Title: Proof Theory and Automated Deduction / Edition 1, Author: Jean Goubault-Larrecq
QUICK ADD
Proof Theory and Automated…
by Jean Goubault-Larrecq, I. Mackie
#6 in Series
Paperback $54.99
Title: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / Edition 1, Author: Didier Galmiche
QUICK ADD
Automated Reasoning with…
by Didier Galmiche
#1227 in Series
Paperback $54.99
Title: Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / Edition 1, Author: Egon Bïrger
QUICK ADD
Computer Science Logic: 6th…
by Egon Bïrger, Gerhard Jïger, Hans Kleine Bïning, Simone Martini, Michael M. Richter
#702 in Series
Paperback $54.99
Title: Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings, Author: Sergei Artemov
QUICK ADD
Logical Foundations of…
by Sergei Artemov, Anil Nerode
#10703 in Series
Paperback $54.99
Title: Differential Geometry of Three Dimensions: Volume 1, Author: C. E. Weatherburn
QUICK ADD
Differential Geometry of Three…
by C. E. Weatherburn
Paperback $57.00
Title: The Quantum of Explanation: Whitehead's Radical Empiricism / Edition 1, Author: Randall E. Auxier
QUICK ADD
The Quantum of Explanation:…
by Randall E. Auxier, Gary L. Herstein
Explore Series
Paperback $62.99

Pagination Links