Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik
| Author | Reif, Wolfgang | dc.contributor.author |
| Date of accession | 2020-04-07T07:04:33Z | dc.date.accessioned |
| Available in OPARU since | 2020-04-07T07:04:33Z | dc.date.available |
| Date of first publication | 1998 | 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 | Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik | dc.title |
| Resource type | Wissenschaftlicher Artikel | dc.type |
| DCMI Type | Text | uulm.typeDCMI |
| Category | Publikationsnachweise | uulm.category |
| Source - Title of source | Künstliche Intelligenz | source.title |
| Source - Place of publication | Einhorn Verlag | source.publisher |
| Source - Volume | 12 | source.volume |
| Source - Issue | 4 | source.issue |
| Source - Year | 1998 | source.year |
| Source - From page | 42 | source.fromPage |
| Source - To page | 48 | source.toPage |
| Source - eISSN | 0170-4516 | source.identifier.eissn |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||
This item appears in the following Collection(s)
-
Publikationsnachweise [302]