The Mathematics of Language: 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642232107
Format: Paperback (231 pages) Publisher: Springer Published: 19 Aug 2011
Save for later
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
Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Lukasz Kaiser
ISBN 13: 9783642228063
Format: Paperback (130 pages) Publisher: Springer Published: 22 Jul 2011
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
Introduction to Homotopy Theory (Universitext)
by Martin Arkowitz
ISBN 13: 9781441973283
Format: Paperback (357 pages) Publisher: Springer Published: 23 Jul 2011
Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642218743
Format: Paperback (332 pages) Publisher: Springer Published: 22 Jun 2011
The Strength of Nonstandard Analysis
ISBN 13: 9783211998922
Format: Paperback (421 pages) Publisher: Springer Published: 13 Oct 2010 Other Format: Hardcover
Advanced ukasiewicz calculus and MV-algebras (Trends in Logic)
by D. Mundici
ISBN 13: 9789400708396
Format: Hardcover (274 pages) Publisher: Springer Published: 23 Jun 2011
The Nature of Computation
by Cristopher Moore, Stephan Mertens
ISBN 13: 9780199233212
Format: Hardcover (1032 pages) Publisher: OUP Oxford Published: Jun 2011
Principia Mathematica to *56 (Cambridge Mathematical Library)
by Alfred North Whitehead, Bertrand Russell
ISBN 13: 9780521626064
Format: Paperback (460 pages) Publisher: Cambridge University Press Published: 11 Sep 1997
From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s
ISBN 13: 9780195096323
Format: Paperback (352 pages) Publisher: OUP USA Published: 13 Nov 1997
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library)
ISBN 13: 9789400700796
Format: Hardcover (424 pages) Publisher: Springer Published: 07 Apr 2011