Normal view MARC view ISBD view

Decision procedures: An algorithmic point of view

Material type: materialTypeLabel

BookSeries: Texts in Theoretical Computer Science.Publisher: Berlin Springer 2008Description: xvi, 304p.ISBN: 978-3-540-74104-6.

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

average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode
		004.01156 KRO (Browse shelf)	Available		507456

There are no comments for this item.

IIITB Library