Further processing options
online resource

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Saved in:

Authors and Corporations: Gramlich, Bernhard (Author), Miller, Dale (Other), Sattler, Uli (Other)
Title: Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings/ edited by Bernhard Gramlich, Dale Miller, Uli Sattler
Type of Resource: E-Book Conference Proceedings
Language: English
published:
Berlin, Heidelberg Springer Berlin Heidelberg 2012
Series: SpringerLink
Lecture notes in computer science ; 7364
Subjects:
Logic design
Electronic data processing
Computer science
Software engineering
Artificial intelligence
Computer Science
Machine theory.
Numerical analysis.
Konferenzschrift > 2012 > Manchester
Buchausg. u.d.T.: Automated reasoning, Berlin : Springer, 2012, XIV, 568 S.
Source: Verbunddaten SWB
Access Information: Elektronischer Volltext - Campuslizenz