Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=965649423
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/965649423 |
| Art des Inhalts | Hochschulschrift |
| Titel | Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory / vorgelegt von Mark-Oliver Stehr |
| Person(en) | Stehr, Mark-Oliver (Verfasser) |
| Zeitliche Einordnung | Erscheinungsdatum: 2002 |
| Umfang/Format | ca. 1,8 MB |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Programming, specification and interactive theorem proving |
| Hochschulschrift | Hamburg, Univ., Diss., 2002 |
| Persistent Identifier | URN: urn:nbn:de:gbv:18-8105 |
| URL | http://www.sub.uni-hamburg.de/disse/810/dissertation.pdf |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Termersetzungssystem ; Gleichungstheorie ; Typentheorie ; Automatisches Beweisverfahren ; Petri-Netz ; Online-Publikation |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 1
Administration
