Normal view MARC view ISBD view

Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 ; proceedings

Material type: materialTypeLabel

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

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		006.3 BAS (Browse shelf)	Available		011935

Previous								Next
Previous	006.3 BAR Experimental research in evolutionary computation : the new experimentalism	006.3 BAR Applications of data mining in computer security	006.3 BAR Arduino V: Machine Learning	006.3 BAS Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 ; proceedings	006.3 BEE Plan-based control of robotic agents : improving the capabilities of autonomous robots	006.3 BEL Developing multi-agent systems with JADE	006.3 BEN Advances in soft computing : engineering design and manufacturing	Next

There are no comments for this item.

Koha online