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
Logic in Elementary Mathematics
by Robert M. Exner,Myron F. Rosskopf
ISBN 13: 9780486482217
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 16 Jun 2011
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
Boolean Functions: Theory, Algorithms, and Applications (Encyclopedia of Mathematics and its Applications)
by Yves Crama,Peter L. Hammer
ISBN 13: 9780521847513
Format: Hardcover (706 pages) Publisher: Cambridge University Press Published: 16 May 2011 Other Format: Hardcover
Nonstandard Analysis, Axiomatically (Springer Monographs in Mathematics)
by Vladimir Kanovei,Michael Reeken
ISBN 13: 9783540222439
Format: Hardcover (424 pages) Publisher: Springer Published: 11 Aug 2004
Formal Engineering for Industrial Software Development: Using the SOFL Method
by Shaoying Liu
ISBN 13: 9783540206026
Format: Hardcover (400 pages) Publisher: Springer Published: 13 Apr 2004
The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes for the Second Edition
by Bernard Linsky
ISBN 13: 9781107003279
Format: Hardcover (418 pages) Publisher: Cambridge University Press Published: 09 Jun 2011
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
Fuzzy-Neuro Approach to Agent Applications: From the AI Perspective to Modern Ontology (Springer Series on Agent Technology)
by Raymond S.T. Lee
ISBN 13: 9783540212034
Format: Hardcover (350 pages) Publisher: Springer Published: 18 Nov 2005
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
by J. Flum, M. Grohe
ISBN 13: 9783540299523
Format: Hardcover (507 pages) Publisher: Springer Published: 09 Feb 2006