Normal view MARC view ISBD view

Isabelle/hol (e-book)

By: Nipkow, Tobias Material type: Text

TextLanguage: English Series: Lecture Notes in Computer Science (LNCS) ; v.2283Publication details: Berlin Springer 2002ISBN: 978-3-540-45949-1Online resources: Click here to access online

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	URL	Status	Date due	Barcode	Item holds
E-Books	Central Library, IITB Online		Link to resource	Online		EBK11302

Total holds: 0

There are no comments on this title.

to post a comment.