| Author | Nipkow, T. | dc.contributor.author |
| Author | Reif, Wolfgang | dc.contributor.author |
| Editor | Bibel, W. | dc.contributor.editor |
| Editor | Schmitt, P. | dc.contributor.editor |
| Date of accession | 2020-03-26T10:33:42Z | dc.date.accessioned |
| Available in OPARU since | 2020-03-26T10:33:42Z | dc.date.available |
| Date of first publication | 1998 | dc.date.issued |
| Language | en_US | dc.language.iso |
| Publisher | Universität Ulm | dc.publisher |
| Dewey Decimal Group | DDC 000 / Computer science, information & general works | dc.subject.ddc |
| Title | An Introduction to Interactive Theorem Proving | dc.title |
| Resource type | Teil eines Buches | dc.type |
| Faculty | Fakultät für Ingenieurwissenschaften, Informatik und Psychologie | uulm.affiliationGeneral |
| Institution | Institut für Programmiermethodik und Compilerbau | uulm.affiliationSpecific |
| DCMI Type | Text | uulm.typeDCMI |
| Category | Publikationsnachweise | uulm.category |
| Source - Title of source | Automated Deduction - A Basis for Applications | source.title |
| Quellenangabe - Herausgeber | Bibel, Wolfgang | source.contributor.editor1 |
| Quellenangabe - Herausgeber | Schmitt, Peter H. | source.contributor.editor1 |
| Source - Publisher | Dordrecht | source.publisherPlace |
| Source - Place of publication | Springer | source.publisher |
| Source - Year | 1998 | source.year |
| Source - From page | 3 | source.fromPage |
| Source - To page | 11 | source.toPage |
| Source - Serial | Applied Logic Series ; 9 | source.series |
| Source - ISSN | 1386-2790 | source.identifier.issn |
| Source - ISBN | 978-90-481-5051-9 | source.identifier.isbn |
| Source - ISBN | 978-94-017-0435-9 | source.identifier.isbn |
| Community | Fakultät für Ingenieurwissenschaften, Informatik und Psychologie | uulm.community |
| Bibliography | uulm | uulm.bibliographie |
