Algorithmic Learning Theory: 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings.: 12 International ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540428756
Format: Paperback (379 pages) Publisher: Springer Published: 07 Nov 2001
Save for later
Conceptual Modeling - ER 2007: 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings (Lecture ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540755623
Format: Paperback (616 pages) Publisher: Springer Published: 15 Oct 2007
Scalable Uncertainty Management: First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540754077
Format: Paperback (277 pages) Publisher: Springer Published: 27 Sep 2007
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540671909
Format: Paperback (299 pages) Publisher: Springer Published: 09 Feb 2000
Finite Structures with Few Types. (AM-152): 165 (Annals of Mathematics Studies)
by Gregory Cherlin, Ehud Hrushovski
ISBN 13: 9780691113326
Format: Paperback (200 pages) Publisher: Princeton University Press Published: 23 Dec 2002
Agents for Games and Simulations: Trends in Techniques, Concepts and Design (Lecture Notes in Computer Science)
by Frank Dignum, Jeff Bradshaw, Barry G. Silverman, Willem van Doesburg
ISBN 13: 9783642111976
Format: Paperback (273 pages) Publisher: Springer Published: 21 Dec 2009
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
by Torkel Franzén
ISBN 13: 9781568812380
Format: Paperback (182 pages) Publisher: Routledge Published: 06 Jun 2005
Logic from Russell to Church: 5 (Handbook of the History of Logic)
by Gabbay
ISBN 13: 9780444516206
Format: Hardcover (950 pages) Publisher: North Holland Published: 17 Jun 2009
An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
by Peter J. Eccles
ISBN 13: 9780521597180
Format: Paperback (362 pages) Publisher: Cambridge University Press Published: 11 Dec 1997
Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th ... Computer Science and General Issues)
by N/A
ISBN 13: 9783642046384
Format: Paperback (367 pages) Publisher: Springer Published: 05 Oct 2009
Referential Opacity and Modal Logic (Studies in Philosophy)
ISBN 13: 9780415998444
Format: Paperback (200 pages) Publisher: Routledge Published: 07 Dec 2009
Intermediate Logic
by David Bostock
ISBN 13: 9780198751427
Format: Paperback (404 pages) Publisher: Oxford University Press, USA Published: 09 Oct 1997