Buy Used and New Mathematical Logic Books

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540680840

Format: Paperback (203 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

Theoretical Introduction to Programming

by Bruce Ian Mills

ISBN 13: 9781846280214

Format: Paperback (358 pages)
Publisher: Springer
Published: 25 Oct 2005

Save for later

Advances in Geometric Modeling and Processing: 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540792451

Format: Paperback (606 pages)
Publisher: Springer
Published: 07 Apr 2008

Save for later

Scalable Uncertainty Management: Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540879923

Format: Paperback (401 pages)
Publisher: Springer
Published: 19 Sep 2008

Save for later

Computational Processing of the Portuguese Language: 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642123191

Format: Paperback (179 pages)
Publisher: Springer
Published: 01 Apr 2010

Save for later

Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783540330455

Format: Paperback (462 pages)
Publisher: Springer
Published: 16 Mar 2006

Save for later

Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783540763352

Format: Paperback (324 pages)
Publisher: Springer
Published: 07 Nov 2007

Save for later

Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540732075

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

Save for later

Knowledge Discovery in Databases: PKDD 2007: 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540749752

Format: Paperback (640 pages)
Publisher: Springer
Published: 31 Aug 2007

Save for later

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642004308

Format: Paperback (189 pages)
Publisher: Springer
Published: 27 Feb 2009

Save for later

Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzislaw Pawlak, Part II: Pt. 2 (Lecture Notes in Computer Science / Transactions on Rough Sets)

by

ISBN 13: 9783540716624

Format: Paperback (381 pages)
Publisher: Springer
Published: 17 Apr 2007

Save for later

STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540323013

Format: Paperback (733 pages)
Publisher: Springer
Published: 14 Feb 2006

Save for later