Search:

Type:

Format:

Library:

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

E-book

E-book

Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler.

Gramlich, Bernhard. (editor.). Miller, Dale. (editor.). Sattler, Uli. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642313653
Physical Description: XIV, 568p. 90 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Search for related items by subject

Subject:

Computer science.
Software engineering.
Logic design.
Electronic data processing.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Software Engineering.
Mathematics of Computing.
Numeric Computing.

Search for related items by series

Add to basket Print Email Permalink Enable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Additional Content

► Shelf Browser

► MARC Record