Show simple item record

EditorBibel, W.dc.contributor.editor
EditorSchmitt, P.dc.contributor.editor
Date of
Available in OPARU
Date of first
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitleAn Introduction to Interactive Theorem Provingdc.title
Resource typeTeil eines Buchesdc.type
FacultyFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.affiliationGeneral
InstitutionInstitut für Programmiermethodik und Compilerbauuulm.affiliationSpecific
DCMI TypeTextuulm.typeDCMI
Source - Title of sourceAutomated Deduction - A Basis for Applicationssource.title
Quellenangabe - HerausgeberBibel, Wolfgangsource.contributor.editor1
Quellenangabe - HerausgeberSchmitt, Peter H.source.contributor.editor1
Source - PublisherDordrechtsource.publisherPlace
Source - Place of publicationSpringersource.publisher
Source - Year1998source.year
Source - From page3source.fromPage
Source - To page11source.toPage
Source - SerialApplied Logic Series ; 9source.series
Source - ISSN1386-2790source.identifier.issn
Source - ISBN978-90-481-5051-9source.identifier.isbn
Source - ISBN978-94-017-0435-9source.identifier.isbn
CommunityFakultät für Ingenieurwissenschaften, Informatik und

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record