Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=920791506
Link zu diesem Datensatz | https://d-nb.info/920791506 |
Titel | Consistency checking of legal contracts using a temporal model / Andreas Strasser. TUM, Technische Universität München, Institut für Informatik |
Person(en) | Strasser, Andreas (Verfasser) |
Verlag | München : Inst. für Informatik |
Zeitliche Einordnung | Erscheinungsdatum: 1990 |
Umfang/Format | 16 S. : graph. Darst. ; 30 cm |
ISBN/Einband/Preis | geh. |
Identifikationsnummern | Reportnummer: FKI 130 90 |
Beziehungen | Forschungsberichte Künstliche Intelligenz |
Anmerkungen | Status nach VGG: vergriffen |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Frankfurt |
Signatur: DKb 92/1435
Bereitstellung in Frankfurt |