Buy Used and New Mathematical Logic Books

Machine Learning and Knowledge Discovery in Databases, Part II: European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642237829

Format: Paperback (703 pages)
Publisher: Springer
Published: 06 Sep 2011
Other Format: Paperback

Save for later

Sweet Reason: A Field Guide to Modern Logic

by James M. Henle, Jay L. Garfield, Thomas Tymoczko

ISBN 13: 9781444337150

Format: Paperback (424 pages)
Publisher: John Wiley & Sons
Published: 26 Aug 2011

Save for later

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642225307

Format: Paperback (158 pages)
Publisher: Springer
Published: 12 Jul 2011

Save for later

Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications (Chapman & Hall Pure and Applied Mathematics)

by Murray R. Bremner

ISBN 13: 9781439807026

Format: Hardcover (332 pages)
Publisher: CRC Press
Published: 08 Sep 2011

Save for later

Machine Learning and Data Mining in Pattern Recognition: 7th International Conference, MLDM 2011, New York, NY, USA, August 30-September 3, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642231988

Format: Paperback (614 pages)
Publisher: Springer
Published: 12 Aug 2011

Save for later

Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642223020

Format: Paperback (375 pages)
Publisher: Springer
Published: 18 Jul 2011

Save for later

Natural Language Processing and Information Systems: 14th International Conference on Applications of Natural Language to Information Systems , NLDB ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642125492

Format: Paperback (336 pages)
Publisher: Springer
Published: 20 Apr 2010

Save for later

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540710653

Format: Paperback (321 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540734475

Format: Paperback (419 pages)
Publisher: Springer
Published: 21 Jun 2007

Save for later

Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540735793

Format: Paperback (418 pages)
Publisher: Springer
Published: 04 Jul 2007

Save for later

Machine Learning: ECML 2006: 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540453758

Format: Paperback (851 pages)
Publisher: Springer
Published: 19 Sep 2006

Save for later

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540682356

Format: Paperback (436 pages)
Publisher: Springer
Published: 08 May 2008

Save for later