An edition of Automated Reasoning (2012)

Automated Reasoning

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

by

Cover of: Automated Reasoning by Bernhard Gramlich, Bernhard Gramlich
Automated Reasoning by Bernhard Gramlich, Bernhard Gramlich
Preview
Read
Listen Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note

Download Options

Last edited by MARC Bot
June 28, 2019 | History
Edit
An edition of Automated Reasoning (2012)

Automated Reasoning

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

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer Berlin Heidelberg
Language
English

Previews available in: English

Subjects

Mathematical Logic and Formal Languages Software engineering Electronic data processing Logic design Logics and Meanings of Programs Computer science Numeric Computing Mathematics of Computing Artificial intelligence Artificial Intelligence (incl. Robotics)
Edition Availability
Cover of: Automated Reasoning
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
2012, Springer Berlin Heidelberg
electronic resource : in English

Add another edition?

Book Details

Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 7364

Classifications

Dewey Decimal Class
005.131
Library of Congress
QA8.9-QA10.3, QA267-268.5

The Physical Object

Format
[electronic resource] :

Edition Identifiers

Open Library
OL27019381M
Internet Archive
automatedreasoni00bjrn
ISBN 13
9783642313653

Work Identifiers

Work ID
OL19829220W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON