Show simple item record

Date of
Available in OPARU
Date of first
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitleInteraktives Theorembeweisen - Anwendungen in der Softwaretechnikdc.title
Resource typeWissenschaftlicher Artikeldc.type
DCMI TypeTextuulm.typeDCMI
Source - Title of sourceKünstliche Intelligenzsource.title
Source - Place of publicationEinhorn Verlagsource.publisher
Source - Volume12source.volume
Source - Issue4source.issue
Source - Year1998source.year
Source - From page42source.fromPage
Source - To page48source.toPage
Source - eISSN0170-4516source.identifier.eissn

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record