Search

Normal view MARC view ISBD view

Isabelle/hol (e-book)

Nipkow, Tobias

Isabelle/hol (e-book) - Berlin Springer 2002 - Lecture Notes in Computer Science (LNCS) v.2283 .

ISBN: 978-3-540-45949-1

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Powered by Koha