Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 88389eab-792f-4e4c-8d2a-b341dd369529 |
| isbn | 9783540322542 354032254X 3540250514 9783540250517 1281406228 9781281406224 6611406220 9786611406226 |
| issn | |
| language | eng |
| physical | 1 online resource (ix, 563 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2005 |
| publishDate | ©2005 |
| subjects | |
| title | Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.). |
| topic | Siekmann, Jörg H. Automatic theorem proving. Logic, Symbolic and mathematical. Reasoning Reasoning Formal methods (Computer science) Logique symbolique et mathématique. Méthodes formelles (Informatique) Raisonnement Théorèmes MATHEMATICS MATHEMATICS Informatique. Formal methods (Computer science) Automatic theorem proving. Logic, Symbolic and mathematical. Formale Methode Logischer Schluss Automatisches Beweisverfahren Softwareentwicklung Raisonnement (Informatique) Démonstration automatique de théorèmes. Méthode formelle. Logique mathématique. Congress Festschriften. Conference papers and proceedings. Conference papers and proceedings. Festschriften. Actes de congrès. Aufsatzsammlung. |