Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540878025
Format: Paperback (429 pages) Publisher: Springer Published: 19 Sep 2008
Save for later
Logic, Induction and Sets (London Mathematical Society Student Texts)
by Thomas Forster
ISBN 13: 9780521533614
Format: Paperback (246 pages) Publisher: Cambridge University Press Published: 25 Sep 2003
Set Theory and its Philosophy: A Critical Introduction
by Michael Potter
ISBN 13: 9780199270415
Format: Illustrated (360 pages) Publisher: Oxford University Press, U.S.A. Published: 13 Apr 2006
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)
by Chitta Baral,Gerhard Brewka,John Schlipf
ISBN 13: 9783540721994
Format: Paperback (344 pages) Publisher: Springer Published: 27 Apr 2007
Language and Automata Theory and Applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642130885
Format: Paperback (622 pages) Publisher: Springer Published: 10 May 2010
Discrete Mathematics Using a Computer
by John O'Donnell,Cordelia Hall,Rex Page
ISBN 13: 9781846282416
Format: Paperback (441 pages) Publisher: Springer Published: 14 Aug 2006
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540741275
Format: Paperback (185 pages) Publisher: Springer Published: 09 Aug 2007
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... Computer Science and General Issues)
ISBN 13: 9783540680840
Format: Paperback (203 pages) Publisher: Springer Published: 26 May 2008
Theoretical Introduction to Programming
by Bruce Ian Mills
ISBN 13: 9781846280214
Format: Paperback (358 pages) Publisher: Springer Published: 25 Oct 2005
Advances in Geometric Modeling and Processing: 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)
ISBN 13: 9783540792451
Format: Paperback (606 pages) Publisher: Springer Published: 07 Apr 2008
Scalable Uncertainty Management: Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540879923
Format: Paperback (401 pages) Publisher: Springer Published: 19 Sep 2008
Computational Processing of the Portuguese Language: 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642123191
Format: Paperback (179 pages) Publisher: Springer Published: 01 Apr 2010