The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Mathematical Logic Books

Results for Mathematical Logic

Showing 121 to 132 of 538 results
Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures ... / Lecture Notes in Artificial Intelligence) Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures ... / Lecture Notes in Artificial Intelligence) by

Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures ... / Lecture Notes in Artificial Intelligence)

by


ISBN 13: 9783540290735

Format: Paperback (349 pages)
Publisher: Springer
Published: 11 Oct 2005

Save for later

 
New : $57.06  
New : $57.06
Modeling and Using Context: 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings ... / Lecture Notes in Artificial Intelligence) Modeling and Using Context: 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings ... / Lecture Notes in Artificial Intelligence) by

Modeling and Using Context: 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings ... / Lecture Notes in Artificial Intelligence)

by


ISBN 13: 9783540742548

Format: Paperback (574 pages)
Publisher: Springer
Published: 09 Aug 2007

Save for later

 
New : $110.77  
New : $110.77
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings: 5079 (Lecture Notes in Computer Science / Programming and Software Engineering) Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings: 5079 (Lecture Notes in Computer Science / Programming and Software Engineering) by

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings: 5079 (Lecture Notes in Computer Science / Programming and Software Engineering)

by


ISBN 13: 9783540691631

Format: Paperback (379 pages)
Publisher: Springer
Published: 01 Jul 2008

Save for later

 
New : $57.22  
New : $57.22
Decision Theory and Multi-Agent Planning (CISM International Centre for Mechanical Sciences) Decision Theory and Multi-Agent Planning (CISM International Centre for Mechanical Sciences) by

Decision Theory and Multi-Agent Planning (CISM International Centre for Mechanical Sciences)

by


ISBN 13: 9783211317877

Format: Paperback (198 pages)
Publisher: Springer
Published: 09 Mar 2006

Save for later

 
New : $63.54  
New : $63.54
Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European ... Computer Science and General Issues) Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European ... Computer Science and General Issues) by

Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European ... Computer Science and General Issues)

by


ISBN 13: 9783540784975

Format: Paperback (505 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

 
New : $57.32  
New : $57.32
Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers: 5196 ... Computer Science and General Issues) Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers: 5196 ... Computer Science and General Issues) by

Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers: 5196 ... Computer Science and General Issues)

by


ISBN 13: 9783540882817

Format: Paperback (500 pages)
Publisher: Springer
Published: 08 Oct 2008

Save for later

 
New : $57.23  
New : $57.23
Efficient Graph Rewriting and Its Implementation (Lecture Notes in Computer Science) Efficient Graph Rewriting and Its Implementation (Lecture Notes in Computer Science) by Heiko Dörr

Efficient Graph Rewriting and Its Implementation (Lecture Notes in Computer Science)

by Heiko Dörr


ISBN 13: 9783540600558

Format: Paperback (266 pages)
Publisher: Springer
Published: 14 Jul 1995

Save for later

 
New : $57.05  
New : $57.05
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected ... Computer Science and General Issues) Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected ... Computer Science and General Issues) by

Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected ... Computer Science and General Issues)

by


ISBN 13: 9783540278290

Format: Paperback (406 pages)
Publisher: Springer
Published: 08 Jul 2005

Save for later

 
New : $57.09  
New : $57.09
Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI) Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI) by

Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI)

by


ISBN 13: 9783540775027

Format: Paperback (227 pages)
Publisher: Springer
Published: 15 Jan 2008

Save for later

 
New : $56.87  
New : $56.87
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, ... / Lecture Notes in Artificial Intelligence) Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, ... / Lecture Notes in Artificial Intelligence) by

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, ... / Lecture Notes in Artificial Intelligence)

by


ISBN 13: 9783540752554

Format: Paperback (914 pages)
Publisher: Springer
Published: 21 Sep 2007

Save for later

 
New : $110.94  
New : $110.94
Distribution Logistics: Advanced Solutions to Practical Problems (Lecture Notes in Economics and Mathematical Systems) Distribution Logistics: Advanced Solutions to Practical Problems (Lecture Notes in Economics and Mathematical Systems) by

Distribution Logistics: Advanced Solutions to Practical Problems (Lecture Notes in Economics and Mathematical Systems)

by


ISBN 13: 9783540221005

Format: Paperback (294 pages)
Publisher: Springer
Published: 25 Aug 2004

Save for later

 
New : $110.47  
New : $110.47
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected ... Computer Science and General Issues) Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected ... Computer Science and General Issues) by

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected ... Computer Science and General Issues)

by


ISBN 13: 9783642125911

Format: Paperback (215 pages)
Publisher: Springer
Published: 20 Apr 2010

Save for later

 
New : $78.46  
New : $78.46