Welcome to Central Library, SUST
Amazon cover image
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.).

Contributor(s): Material type: TextTextSeries: Publication details: New york : Springer, c2012.Description: xiv, 568 pages : illustrations ; 24 cmISBN:
  • 9783642313646 (alk. paper)
  • 3642313647 (alk. paper)
Subject(s): Genre/Form: DDC classification:
  • 511.36028563 22 AUT
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books Books Library, Institute of Information and Communication Technology General Stacks 511.36028563 AUT (Browse shelf(Opens below)) 1 Available I000545
Books Books Library, Institute of Information and Communication Technology General Stacks 511.36028563 AUT (Browse shelf(Opens below)) 2 Available I000544
Books 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.

to post a comment.