Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783540752905
Format: Paperback (483 pages) Publisher: Springer Published: 12 Sep 2007
Save for later
Natural Language and Information Systems: 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540698579
Format: Paperback (386 pages) Publisher: Springer Published: 16 Jun 2008
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
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Pr: 1784 (Lecture Notes in Computer Science)
by Jerzy Tiuryn
ISBN 13: 9783540672579
Format: Paperback (408 pages) Publisher: Springer Published: 13 Apr 2000
A Calculus of Communication Systems: 92 (Lecture Notes in Computer Science)
by R. Milner
ISBN 13: 9783540102359
Format: Paperback (188 pages) Publisher: Springer Published: 01 Sep 1980
Numbers & Proofs (Modular Mathematics Series)
by R. B. J. T. Allenby
ISBN 13: 9780340676530
Format: Paperback (288 pages) Publisher: Butterworth-Heinemann Published: 26 Sep 1997
The Frege Reader (Wiley Blackwell Readers)
by Michael Beaney
ISBN 13: 9780631194453
Format: Paperback (432 pages) Publisher: Wiley-Blackwell Published: 02 May 1997
Foundations and Fundamental Concepts of Mathematics (Dover Books on MaTHEMA 1.4tics)
by Howard Eves
ISBN 13: 9780486696096
Format: Illustrated (368 pages) Publisher: Dover Publications Inc Published: 21 Sep 1997
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
by Robert Goldblatt
ISBN 13: 9780486450261
Format: Paperback (576 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009