Natural Language Processing - IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540291725
Format: Paperback (1052 pages) Publisher: Springer Published: 30 Sep 2005
Save for later
Wissenschaftliches Rechnen mit MATLAB (Springer-Lehrbuch)
by Alfio Quarteroni,Fausto Saleri
ISBN 13: 9783540250050
Format: Paperback (269 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 21 Sep 2005
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540797180
Format: Paperback (305 pages) Publisher: Springer Published: 25 Apr 2008
Fixing Frege (Princeton Monographs in Philosophy)
by John P. Burgess
ISBN 13: 9780691122311
Format: Hardcover (272 pages) Publisher: Princeton University Press Published: 05 Jul 2005
Mathematische Logik, kurzgefaßt.: Grundlagen, Modelltheorie, Entscheidbarkeit, Mengenlehre
by Hans P. Tuschik,Helmut Wolter
ISBN 13: 9783827413871
Format: Paperback (224 pages) Publisher: Spektrum Akademischer Verlag Published: 31 Oct 2002
Non-standard Analysis (Princeton Landmarks in Mathematics & Physics)
by Abraham Robinson
ISBN 13: 9780691044903
Format: Paperback (308 pages) Publisher: Princeton University Press Published: 08 Jan 1996
From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History of Sciences)
by Henry Van Heigenoort
ISBN 13: 9780674324497
Format: Paperback (680 pages) Publisher: Harvard University Press Published: 01 Jul 1990
Theorie DES Ensembles: Éléments de Mathématique
by N Bourbaki
ISBN 13: 9783540340348
Format: Paperback (250 pages) Publisher: Springer Published: 01 Sep 2006
Number Theory: An approach through history from Hammurapi to Legendre (Modern Birkhäuser Classics)
by André Weil
ISBN 13: 9780817645656
Format: Paperback (376 pages) Publisher: Birkhauser Published: 29 Dec 2006
Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises: ... Calculus, Completeness Theorems Pt.1
by René Cori,Daniel Lascar
ISBN 13: 9780198500483
Format: Paperback (360 pages) Publisher: OUP Oxford Published: 07 Sep 2000
Elementary Categories, Elementary Toposes (Oxford Logic Guides)
by Colin McLarty
ISBN 13: 9780198514732
Format: Paperback (280 pages) Publisher: Clarendon Press Published: 27 Apr 1995
Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures: Unpublished Essays and Lectures Vol 3 (Collected Works (Oxford))
by Kurt Gödel
ISBN 13: 9780195147223
Format: Paperback (560 pages) Publisher: OUP USA Published: 28 Jun 2001