Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings: 2157 (Lecture Notes in Computer Science)
by Michele Sebag,Celine Rouveirol
ISBN 13: 9783540425380
Format: Paperback (272 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Dynamic Epistemic Logic (Synthese Library)
by Hans van Ditmarsch,Wiebe van der Hoek,Barteld Kooi
ISBN 13: 9781402069086
Format: Paperback (307 pages) Publisher: Springer Published: 15 Nov 2007
Grundlagen Der Computerlinguistik: Mensch-Maschine-Kommunikation in Nat Rlicher Sprache: Mensch-Maschine-Kommunikation in natürlicher Sprache. Mit 772 Übungen
by Roland Hausser
ISBN 13: 9783540671879
Format: Paperback (584 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 14 Jul 2000
Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)
by Ethan D. Bloch
ISBN 13: 9781441971265
Format: Hardcover (383 pages) Publisher: Springer Published: 21 Feb 2011
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number
by Gottlob Frege
ISBN 13: 9780631126942
Format: Paperback (119 pages) Publisher: John Wiley & Sons Published: 30 Oct 1980
Modal Logic: An Introduction to its Syntax and Semantics
by Nino B. Cocchiarella,Max A. Freund
ISBN 13: 9780195366570
Format: Paperback (288 pages) Publisher: OUP USA Published: 14 Aug 2008
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783642216909
Format: Paperback (257 pages) Publisher: Springer Published: 23 May 2011
Theory and Applications of Models of Computation: 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings: 8th Annual Conference, ... Computer Science and General Issues)
ISBN 13: 9783642208768
Format: Paperback (579 pages) Publisher: Springer Published: 03 May 2011
Inductive Logic (Handbook of the History of Logic)
ISBN 13: 9780444529367
Format: Hardcover (800 pages) Publisher: North Holland Published: 20 May 2010
Axiom of Choice (Lecture Notes in Mathematics)
by Horst Herrlich
ISBN 13: 9783540309895
Format: Paperback (208 pages) Publisher: Springer Published: 11 May 2006
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