Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783540488156
Format: Paperback (386 pages) Publisher: Springer Published: 30 Oct 2006
Save for later
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540727873
Format: Paperback (384 pages) Publisher: Springer Published: 18 May 2007
Rough Sets and Current Trends in Computing: Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540442745
Format: Paperback (655 pages) Publisher: Springer Published: 25 Sep 2002
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings: 4th International Joint ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540710691
Format: Paperback (556 pages) Publisher: Springer Published: 25 Jul 2008
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783540799795
Format: Paperback (432 pages) Publisher: Springer Published: 15 Jul 2008
Natural Language Processing and Information Systems: 14th International Conference on Applications of Natural Language to Information Systems , NLDB ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642125492
Format: Paperback (336 pages) Publisher: Springer Published: 20 Apr 2010
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)
ISBN 13: 9783540710653
Format: Paperback (321 pages) Publisher: Springer Published: 30 Jul 2008
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
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings: 5378 (Lecture Notes in Computer Science)
by R. Ramanujam
ISBN 13: 9783540927006
Format: Paperback (280 pages) Publisher: Springer Published: 18 Dec 2008
Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)
by D.L. Johnson
ISBN 13: 9783540761235
Format: Paperback (198 pages) Publisher: Springer Published: 27 Feb 1998
Essential Logic: Basic Reasoning Skills for the Twenty-First Century
by Ronald C. Pine
ISBN 13: 9780195155051
Format: Paperback (432 pages) Publisher: Oxford University Press, USA Published: 05 Oct 1995
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)
by Olaf Owe, Stein Krogdahl, Tom Lyche
ISBN 13: 9783540213666
Format: Illustrated (404 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008