Media type: Book Title: Verifying intuition - ILF checks DAWN proofs Contributor: Baar, Thomas [Author]; Kindler, Ekkart [Author]; Völzer, Hagen [Author] imprint: Berlin: Professoren des Inst. für Informatik, 1999 Published in: Informatik-Berichte ; 11900 Extent: 29 S; graph. Darst; 30 cm Language: English RVK notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1999 4 029858 001 Item ID: 30443343 Status: Loanable, place order > Ordering possible ‒ please log in