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
Singular Coverings of Toposes (Lecture Notes in Mathematics)
by M. Bunge,J. Funk
ISBN 13: 9783540363590
Format: Paperback (237 pages) Publisher: Springer Published: 21 Aug 2006
Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540280606
Format: Paperback (293 pages) Publisher: Springer Published: 20 Jul 2005
AI*IA 2005: Advances in Artificial Intelligence: 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540290414
Format: Paperback (628 pages) Publisher: Springer Published: 12 Sep 2005
Algebra: Volume II: Fields with Structure, Algebras and Advanced Topics: Advanced Topics v. 2 (Universitext)
by Falko Lorenz
ISBN 13: 9780387724874
Format: Paperback (340 pages) Publisher: Springer Published: 10 Jan 2008
Natural Language Processing - IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540291725
Format: Paperback (1052 pages) Publisher: Springer Published: 30 Sep 2005
Topics from the Theory of Numbers (Modern Birkhäuser Classics)
by Emil Grosswald
ISBN 13: 9780817648374
Format: Paperback (333 pages) Publisher: Birkhauser Published: 29 Dec 2008
A Course of Modern Analysis
by E. T. Whittaker
ISBN 13: 9781438528151
Format: Paperback (620 pages) Publisher: Book Jungle Published: 04 Nov 2009
Incompleteness in the Land of Sets (Studies in Logic)
by M. Fitting
ISBN 13: 9781904987345
Format: Paperback (156 pages) Publisher: College Publications Published: 19 Feb 2007
Foundations of the Formal Sciences: v. 4: The History of the Concept of the Formal Sciences (Studies in Logic (logic & Cognitive Systems))
ISBN 13: 9781904987291
Format: Paperback (300 pages) Publisher: College Publications Published: 05 Dec 2006
Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures: Unpublished Essays and Lectures Vol 3 (Collected Works (Oxford))
by Kurt Gödel
ISBN 13: 9780195147223
Format: Paperback (560 pages) Publisher: OUP USA Published: 28 Jun 2001
Homology (Classics in Mathematics)
by Saunders MacLane
ISBN 13: 9783540586623
Format: Paperback (422 pages) Publisher: Springer Published: 15 Feb 1995