Buy Used and New NikolajBjørner Books

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocaw, Poland, July 31 -- August 5, 2011, Proceedings: 23rd ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642224379

Format: Paperback (521 pages)
Publisher: Springer
Published: 12 Jul 2011

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, ... Computer Science and General Issues)

by

ISBN 13: 9783642287169

Format: Paperback (446 pages)
Publisher: Springer
Published: 24 Feb 2012

Save for later