Language, Games, and Evolution: Trends in Current Research on Language and Game Theory (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642180057
Format: Paperback (196 pages) Publisher: Springer Published: 14 Mar 2011
Save for later
Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783642197536
Format: Paperback (275 pages) Publisher: Springer Published: 14 Mar 2011
Logical Dilemmas: The Life and Work of Kurt Godel
by John Dawson
ISBN 13: 9781568812564
Format: Paperback (376 pages) Publisher: A K Peters/CRC Press Published: 06 Jun 2005
Rough Sets and Knowledge Technology: Second International Conference, RSKT 2007 Toronto, Canada, May 14-16, 2007 Proceedings: 4481 (Lecture Notes in Computer Science)
by JingTao Yao,Nick J. Cercone,Wei-Zhi Wu,Pawan Lingras,Marcin Szczuka
ISBN 13: 9783540724575
Format: Illustrated (592 pages) Publisher: Springer Published: 27 Apr 2007
Principles of Applied Mathematics (Advanced Book Program)
by James P. Keener
ISBN 13: 9780738201290
Format: Hardcover (624 pages) Publisher: CRC Press Published: 14 Jan 2000
Computational Linguistics and Intelligent Text Processing: 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings: 5449 (Lecture Notes in Computer Science)
by Alexander Gelbukh
ISBN 13: 9783642003813
Format: Paperback (604 pages) Publisher: Springer Published: 16 Feb 2009
An Introduction to Non-Classical Logic, Second Edition: From If to Is (Cambridge Introductions to Philosophy)
by Graham Priest
ISBN 13: 9780521670265
Format: Paperback (646 pages) Publisher: Cambridge University Press Published: 10 Apr 2008
Quantum Groups: A Path To Current Algebra: 19 (Australian Mathematical Society Lecture Series, Series Number 19)
by Ross Street
ISBN 13: 9780521695244
Format: Illustrated (160 pages) Publisher: Cambridge University Press Published: 18 Jan 2007
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (OXFORD TEXTS IN LOGIC)
by Shawn Hedman
ISBN 13: 9780198529811
Format: Illustrated (452 pages) Publisher: OUP Oxford Published: 08 Jul 2004
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800
by Kurt Jensen
ISBN 13: 9783642048548
Format: Paperback (296 pages) Publisher: Springer Published: 11 Nov 2009
Proof Theory: The First Step into Impredicativity (Universitext)
by Wolfram Pohlers
ISBN 13: 9783540693185
Format: Illustrated (388 pages) Publisher: Springer Published: 13 Oct 2008
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)
by Jim Woodcock, Natarajan Shankar
ISBN 13: 9783540878728
Format: Paperback (263 pages) Publisher: Springer Published: 22 Sep 2008