Media type: Book Title: Proving properties of finite enumerations : a problem set for automated theorem provers Contributor: Schellhorn, Gerhard [Author]; Reif, Wolfgang [Author] imprint: Ulm: Univ., Fak. für Informatik, 1997 Published in: Ulmer Informatik-Berichte ; 97,12 Extent: 13 S. Language: English RVK notation: SS 5525 : Ulmer Informatik-Berichte Keywords: Automatic theorem proving Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1997 4 027277 001 Item ID: 10427895 Status: Loanable, place order > Ordering possible ‒ please log in