Automated reasoning :
Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings /
Bernhard Gramlich, Dale Miller, Uli Sattler (eds.).
- New york : Springer, c2012.
- xiv, 568 pages : illustrations ; 24 cm.
- Lecture notes in computer science, Lecture notes in artificial intelligence 7364. 1611-3349 ; LNCS sublibrary. SL 7, Artificial intelligence .
Includes bibliographical references and author index.
9783642313646 (alk. paper) 3642313647 (alk. paper)
2012940337
Automatic theorem proving--Congresses.
Computer logic--Congresses.
Automatic theorem proving.
Computer logic.
Conference papers and proceedings.
511.36028563 / AUT
Includes bibliographical references and author index.
9783642313646 (alk. paper) 3642313647 (alk. paper)
2012940337
Automatic theorem proving--Congresses.
Computer logic--Congresses.
Automatic theorem proving.
Computer logic.
Conference papers and proceedings.
511.36028563 / AUT