Search:

Type:

Format:

Library:

[ 2 filters applied ]

◄ Previous

Back To Results
Showing Item 33 of 1052

Next ►

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

E-book

E-book

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

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 Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record

◄ Previous

Back To Results
Showing Item 33 of 1052

Next ►