Inductive Logic Programming: 13th International Conference, ILP 2003 Szeged, Hungary, September 29-October 1, 2003 Proceedings: 2835 (Lecture Notes in Computer Science)
by Tamás Horváth,Akihiro Yamamoto
ISBN 13: 9783540201441
Format: Paperback (416 pages) Publisher: Springer Published: 24 Sep 2003
Save for later
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
by Alan P. Parkes
ISBN 13: 9781852334642
Format: Paperback (304 pages) Publisher: Springer Published: 26 Apr 2002
The Incompleteness Phenomenon
by Martin Goldstern,Haim Judah
ISBN 13: 9781568810294
Format: Hardcover (218 pages) Publisher: A K Peters/CRC Press Published: 15 Jun 1995
Inconsistent Geometry
by Chris Mortensen
ISBN 13: 9781848900226
Format: Paperback (174 pages) Publisher: College Publications Published: 15 Oct 2010
Visual Cryptography and Secret Image Sharing (Digital Imaging and Computer Vision)
by
ISBN 13: 9781439837214
Format: Hardcover (545 pages) Publisher: CRC Press Published: 16 Sep 2011
The Nature of Computation
by Cristopher Moore, Stephan Mertens
ISBN 13: 9780199233212
Format: Hardcover (1032 pages) Publisher: OUP Oxford Published: Jun 2011
Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)
by Deborah Nolan,Terry P. Speed
ISBN 13: 9780387989747
Format: Illustrated (301 pages) Publisher: Springer Published: 22 Feb 2009
First Steps in Modal Logic
by Sally Popkorn
ISBN 13: 9780521057936
Format: Paperback (332 pages) Publisher: Cambridge University Press Published: 28 Jan 2008
Foundations of the Formal Sciences: Infinite Games v. 5
ISBN 13: 9781904987758
Format: Paperback (368 pages) Publisher: College Publications Published: 19 Dec 2007
We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2
by S Artemov,H. Barringer,A. S. d'Avila Garcez,L. C. Lamb,J. Woods
ISBN 13: 9781904987123
Format: Paperback (812 pages) Publisher: College Publications Published: 26 Oct 2005
Handbook of Financial Cryptography and Security (Chapman & Hall/CRC Cryptography and Network Security Series)
ISBN 13: 9781420059816
Format: Hardcover (631 pages) Publisher: Chapman and Hall/CRC Published: 09 Aug 2010
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
by Hunter
ISBN 13: 9780520023567
Format: Paperback (302 pages) Publisher: University of California Press Published: 01 Jul 1992