Buy Used and New UlrikeSattler Books

Reasoning Web: Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures (Lecture Notes in Computer Science / ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540384090

Format: Paperback (269 pages)
Publisher: Springer
Published: 24 Aug 2006

Save for later

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642313646

Format: Paperback (568 pages)
Publisher: Springer
Published: 20 Jun 2012

Save for later