Buy Used and New VioricaSofronie-Stokkermans 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

Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642243639

Format: Paperback (276 pages)
Publisher: Springer
Published: 23 Sep 2011

Save for later