Image from Amazon.com
Image from Google Jackets
Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / Bernhard Gramlich, Dale Miller, Uli Sattler (eds.).
Material type:
TextSeries: Publication details: New york : Springer, c2012.Description: xiv, 568 pages : illustrations ; 24 cmISBN: - 9783642313646 (alk. paper)
- 3642313647 (alk. paper)
- 511.36028563 22 AUT
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 511.36028563 AUT (Browse shelf(Opens below)) | 1 | Available | I000545 | |
|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 511.36028563 AUT (Browse shelf(Opens below)) | 2 | Available | I000544 | |
|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 511.36028563 AUT (Browse shelf(Opens below)) | 3 | Available | I000543 |
Includes bibliographical references and author index.
There are no comments on this title.