> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Media type: Book Title: A guided tour through TYPELAB Contributor: Luther, Marko [Author] ; Strecker, Martin [Author] Published: Ulm: Univ., Fak. für Informatik, 1998 Published in: Ulmer Informatik-Berichte ; 98,03 Extent: II, 32 S. Language: English Keywords: Type theory ; Automatisches Beweisverfahren Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1997 4 057014 001 Item ID: 10429738 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order