Media type: E-Book Title: Proving properties of finite enumerations - a problem set for automated theorem provers Contributor: Schellhorn, Gerhard [Author]; Reif, Wolfgang [Author] imprint: Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010 Published in: Ulmer Informatik-Berichte ; 97,12 Extent: Online-Ressource Language: English Identifier: RVK notation: SS 5525 : Ulmer Informatik-Berichte Keywords: Automatic theorem proving ; Abzählen ; Automatisches Beweisverfahren Origination: Footnote: Access State: Open Access