Show simple item record

AuthorReif, Wolfgangdc.contributor.author
AuthorSchellhorn, Gerharddc.contributor.author
AuthorStenzel, Kurtdc.contributor.author
Date of accession2020-03-27T06:46:23Zdc.date.accessioned
Available in OPARU since2020-03-27T06:46:23Zdc.date.available
Date of first publication1997dc.date.issued
Languageendc.language.iso
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitleProving System Correctness with KIV 3.0dc.title
Resource typeBeitrag zu einer Konferenzdc.type
FacultyFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.affiliationGeneral
InstitutionInstitut für Programmiermethodik und Compilerbauuulm.affiliationSpecific
DCMI TypeTextuulm.typeDCMI
CategoryPublikationsnachweiseuulm.category
DOI (external)10.1007/3-540-63104-6_10dc.identifier.doiExternal
Source - Title of sourceAutomated Deduction—CADE-14 : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedingssource.title
Quellenangabe - HerausgeberMcCune, Williamsource.contributor.editor1
Source - PublisherBerlinsource.publisherPlace
Source - PublisherHeidelbergsource.publisherPlace
Source - Place of publicationSpringersource.publisher
Source - Year1997source.year
Source - From page69source.fromPage
Source - To page72source.toPage
Source - SerialLecture Notes in Computer Science ; 1249source.series
Source - ISBN978-3-540-63104-0source.identifier.isbn
Source - ISBN978-3-540-69140-2source.identifier.isbn
Conference nameInternational Conference on Automated Deductionuulm.conferenceName
Conference placeTownsvilleuulm.conferencePlace
Conference start date1997-07-13uulm.conferenceStartDate
Conference end date1997-07-17uulm.conferenceEndDate
Suitable communityFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.community
University Bibliographyjauulm.unibibliographie


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record