Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540671909
Format: Paperback (299 pages) Publisher: Springer Published: 09 Feb 2000
Save for later
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)
ISBN 13: 9783540278290
Format: Paperback (406 pages) Publisher: Springer Published: 08 Jul 2005
Distribution Logistics: Advanced Solutions to Practical Problems (Lecture Notes in Economics and Mathematical Systems)
ISBN 13: 9783540221005
Format: Paperback (294 pages) Publisher: Springer Published: 25 Aug 2004
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
Fuzzy Logic: A Framework for the New Millennium (Studies in Fuzziness and Soft Computing)
ISBN 13: 9783790814255
Format: Hardcover (395 pages) Publisher: Physica-Verlag HD Published: 26 Feb 2002
Classic Papers in Combinatorics (Modern Birkhäuser Classics)
ISBN 13: 9780817648411
Format: Paperback (499 pages) Publisher: Birkhauser Published: 23 Dec 2008
Fuzziness and Approximate Reasoning: Epistemics on Uncertainty, Expectation and Risk in Rational Behavior (Studies in Fuzziness and Soft Computing)
by Kofi Kissi Dompere
ISBN 13: 9783540880868
Format: Hardcover (292 pages) Publisher: Springer Published: 26 Mar 2009
Classic Set Theory (Chapman & Hall Mathematics S)
by D.C. Goldrei
ISBN 13: 9780412606106
Format: Paperback (296 pages) Publisher: Routledge Published: 01 Jul 1996
Argumentation Schemes
by Douglas Walton
ISBN 13: 9780521723749
Format: Illustrated (456 pages) Publisher: Cambridge University Press Published: 04 Aug 2008 Other Format: Hardcover
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
by W. Bibel, P.H. Schmitt
ISBN 13: 9780792351306
Format: Hardcover (448 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover, Illustrated
Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)
by Bernd Sturmfels,Peter Paule
ISBN 13: 9783211774168
Format: Illustrated (204 pages) Publisher: Springer Published: 28 Apr 2008