Buy Used and New Mathematical Logic Books

Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642213403

Format: Paperback (257 pages)
Publisher: Springer
Published: 27 May 2011

Save for later

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

Save for later

Ludics, Dialogue and Interaction: PRELUDE Project - 2006-2009. Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642192104

Format: Paperback (234 pages)
Publisher: Springer
Published: 23 Feb 2011

Save for later

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642208317

Format: Paperback (526 pages)
Publisher: Springer
Published: 13 May 2011

Save for later

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642226724

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

Save for later

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642220111

Format: Paperback (692 pages)
Publisher: Springer
Published: 27 Jun 2011

Save for later

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

by

ISBN 13: 9783642237799

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

Save for later

Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642214929

Format: Paperback (271 pages)
Publisher: Springer
Published: 16 Jun 2011

Save for later

Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642237010

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

Save for later

Studies in Complexity and Cryptography: Miscellanea on the Interplay between Randomness and Computation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by Oded Goldreich

ISBN 13: 9783642226694

Format: Paperback (574 pages)
Publisher: Springer
Published: 03 Aug 2011

Save for later

Conceptual Structures for Discovering Knowledge: 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642226878

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

Save for later

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)

by

ISBN 13: 9783642218743

Format: Paperback (332 pages)
Publisher: Springer
Published: 22 Jun 2011

Save for later