Show simple item record

AuthorAhrendt, W.dc.contributor.author
AuthorBeckert, B.dc.contributor.author
AuthorHähnle, R.dc.contributor.author
AuthorMenzel, W.dc.contributor.author
AuthorReif, Wolfgangdc.contributor.author
AuthorSchellhorn, Gerharddc.contributor.author
AuthorSchmitt, P.dc.contributor.author
EditorBibel, W.dc.contributor.editor
EditorSchmitt, P.dc.contributor.editor
Date of accession2020-03-26T13:45:31Zdc.date.accessioned
Available in OPARU since2020-03-26T13:45:31Zdc.date.available
Date of first publication1998dc.date.issued
Languageen_USdc.language.iso
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitleIntegrating Automated and 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
CategoryPublikationsnachweiseuulm.category
DOI (external)10.1007/978-94-017-0435-9_4dc.identifier.doiExternal
Source - Title of sourceAutomated Deduction - A Basis for Applicationssource.title
Quellenangabe - HerausgeberBibel, Wolfgangsource.contributor.editor1
Quellenangabe - HerausgeberSchmitt, Peter H.source.contributor.editor1
Source - PublisherDodrechtsource.publisherPlace
Source - Place of publicationSpringersource.publisher
Source - Year1998source.year
Source - From page97source.fromPage
Source - To page116source.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
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