Buy Used and New Mathematical Logic Books

Provable Security: Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings (Lecture Notes in Computer Science / Security and Cryptology)

by

ISBN 13: 9783540887324

Format: Paperback (361 pages)
Publisher: Springer
Published: 09 Oct 2008

Save for later

Computational Processing of the Portuguese Language: 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008, Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540859796

Format: Paperback (278 pages)
Publisher: Springer
Published: 04 Sep 2008

Save for later

Komplexitatstheorie: Grenzen Der Effizienz Von Algorithmen (Springer-Lehrbuch)

by Ingo Wegener

ISBN 13: 9783540001614

Format: Paperback (321 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 10 Mar 2003

Save for later

Logica Universalis: Towards a General Theory of Logic

by

ISBN 13: 9783764383534

Format: Paperback (246 pages)
Publisher: Birkhauser
Published: 17 Apr 2007

Save for later

Rough Sets and Current Trends in Computing: 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540476931

Format: Paperback (973 pages)
Publisher: Springer
Published: 26 Oct 2006

Save for later

Inductive Logic Programming: 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540784685

Format: Paperback (307 pages)
Publisher: Springer
Published: 14 Mar 2008

Save for later

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540273264

Format: Paperback (1028 pages)
Publisher: Springer
Published: 24 Jun 2005

Save for later

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540752202

Format: Paperback (539 pages)
Publisher: Springer
Published: 06 Sep 2007

Save for later

Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540766360

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

Save for later

Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... Computer Science and General Issues)

by

ISBN 13: 9783540330509

Format: Paperback (290 pages)
Publisher: Springer
Published: 21 Mar 2006

Save for later

KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings: ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540745648

Format: Paperback (516 pages)
Publisher: Springer
Published: 30 Aug 2007

Save for later

Petri-Netze (Examen.Press)

by Harro Wimmel,Lutz Priese

ISBN 13: 9783540769705

Format: Paperback (383 pages)
Publisher: Springer
Published: 01 Mar 2008

Save for later