Buy Used and New Mathematical Logic Books

Fuzzy Logic and Applications: 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540325291

Format: Paperback (452 pages)
Publisher: Springer
Published: 20 Feb 2006

Save for later

Current Topics in Artificial Intelligence: 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540459149

Format: Paperback (482 pages)
Publisher: Springer
Published: 22 Sep 2006

Save for later

Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540379010

Format: Paperback (343 pages)
Publisher: Springer
Published: 04 Sep 2006

Save for later

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing: 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540747819

Format: Paperback (859 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later

DNA Computing: 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers: 4848 (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540779612

Format: Paperback (303 pages)
Publisher: Springer
Published: 08 Feb 2008

Save for later

Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings: 6009 (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642122507

Format: Paperback (366 pages)
Publisher: Springer
Published: 09 Apr 2010

Save for later

Analysis and Design of Intelligent Systems Using Soft Computing Techniques (Advances in Intelligent and Soft Computing)

by

ISBN 13: 9783540724315

Format: Paperback (855 pages)
Publisher: Springer
Published: 05 Jun 2007

Save for later

Implementation and Application of Automata: 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540372134

Format: Paperback (291 pages)
Publisher: Springer
Published: 10 Aug 2006

Save for later

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783540755951

Format: Paperback (566 pages)
Publisher: Springer
Published: 09 Oct 2007

Save for later

Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540732273

Format: Paperback (397 pages)
Publisher: Springer
Published: 15 Jun 2007

Save for later

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540745907

Format: Paperback (401 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later

Machines, Computations, and Universality: 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540745921

Format: Paperback (325 pages)
Publisher: Springer
Published: 23 Aug 2007

Save for later