Automated deduction - CADE-24: 24th International Conference on Automated Deduction Lake Placid, NY, USA, June 9-14, 2013 ; proceedings
Saved in:
Bibliographic Details
Format: Electronic Conference Proceeding eBook
Language:English
Published: Berlin [u.a.] Springer 2013
Series:Lecture notes in computer science 7898 : Lecture notes in artificial intelligence
Subjects:
Online Access:Volltext
Inhaltsverzeichnis
Abstract
Physical Description:1 Online-Ressource (XV, 466 S.) graph. Darst.
ISBN:9783642385735
9783642385742
DOI:10.1007/978-3-642-38574-2

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text