Buy Used and New Mathematical Logic Books

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

Machine Learning and Knowledge Discovery in Databases: European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II: ECML PKDD ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540874805

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

Save for later

Lattice Functions and Equations (Discrete Mathematics and Theoretical Computer Science)

by Sergiu Rudeanu

ISBN 13: 9781852332662

Format: Paperback (446 pages)
Publisher: Springer
Published: 30 Jul 2001

Save for later

Mathematik F R Informatik Und Bioinformatik

by M P H Wolff,P Hauck,W K]chlin,W Ka1/4chlin,Manfred Wolff,Peter Hauck,Wolfgang Ka1/4chlin,Wolfgang Kuchlin,Wolfgang K Chlin

ISBN 13: 9783540205210

Format: Paperback (534 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 16 Jun 2009

Save for later

Neural Nets: 16th Italian Workshop on Neural Nets, WIRN 2005, International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul ... Computer Science and General Issues)

by

ISBN 13: 9783540331834

Format: Paperback (383 pages)
Publisher: Springer
Published: 06 Apr 2006

Save for later

Advances in Artificial Intelligence - SBIA 2008: 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008: 19th ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540881896

Format: Paperback (289 pages)
Publisher: Springer
Published: 08 Oct 2008

Save for later

Adaptive and Natural Computing Algorithms: 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540715894

Format: Paperback (851 pages)
Publisher: Springer
Published: 02 Apr 2007

Save for later

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540730989

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

Save for later

Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540742395

Format: Paperback (508 pages)
Publisher: Springer
Published: 14 Aug 2007

Save for later

Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)

by

ISBN 13: 9783540787389

Format: Paperback (399 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later