Author | Reif, Wolfgang | dc.contributor.author |
Author | Schellhorn, Gerhard | dc.contributor.author |
Author | Stenzel, Kurt | dc.contributor.author |
Date of accession | 2020-03-27T06:46:23Z | dc.date.accessioned |
Available in OPARU since | 2020-03-27T06:46:23Z | dc.date.available |
Date of first publication | 1997 | dc.date.issued |
Language | en | dc.language.iso |
Publisher | Universität Ulm | dc.publisher |
Dewey Decimal Group | DDC 000 / Computer science, information & general works | dc.subject.ddc |
Title | Proving System Correctness with KIV 3.0 | dc.title |
Resource type | Beitrag zu einer Konferenz | 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 |
DOI (external) | 10.1007/3-540-63104-6_10 | dc.identifier.doiExternal |
Source - Title of source | Automated Deduction—CADE-14 : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings | source.title |
Quellenangabe - Herausgeber | McCune, William | source.contributor.editor1 |
Source - Publisher | Berlin | source.publisherPlace |
Source - Publisher | Heidelberg | source.publisherPlace |
Source - Place of publication | Springer | source.publisher |
Source - Year | 1997 | source.year |
Source - From page | 69 | source.fromPage |
Source - To page | 72 | source.toPage |
Source - Serial | Lecture Notes in Computer Science ; 1249 | source.series |
Source - ISBN | 978-3-540-63104-0 | source.identifier.isbn |
Source - ISBN | 978-3-540-69140-2 | source.identifier.isbn |
Conference name | International Conference on Automated Deduction | uulm.conferenceName |
Conference place | Townsville | uulm.conferencePlace |
Conference start date | 1997-07-13 | uulm.conferenceStartDate |
Conference end date | 1997-07-17 | uulm.conferenceEndDate |
Community | Fakultät für Ingenieurwissenschaften, Informatik und Psychologie | uulm.community |
Bibliography | uulm | uulm.bibliographie |