Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 ; proceedings
By: Basin, David.
Contributor(s): Rusinowitch, Michael.
Material type:
BookSeries: Lecture notes in artificial intelligence.Publisher: New York: Springer-Verlag, 2004Description: xii, 491 p.; : 24 cm.ISBN: 3540223452 .Subject(s): Automatic theorem proving -- Congresses | Computer logic -- CongressesDDC classification: 006.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | DAU | 006.3 BAS (Browse shelf) | Available | 011935 |
There are no comments for this item.