TU Darmstadt / ULB / TUbiblio

Towards state update axioms: Reifying successor state axioms

Thielscher, Michael (1998)
Towards state update axioms: Reifying successor state axioms.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1998
Autor(en): Thielscher, Michael
Art des Eintrags: Bibliographie
Titel: Towards state update axioms: Reifying successor state axioms
Sprache: Deutsch
Publikationsjahr: 1998
Ort: Berlin (u.a.)
Verlag: Springer
Reihe: Logics in artificial intelligence: European Workshop: JELIA'98, Dagstuhl; Proceedings. Hrsg.: J. Dix (u.a.) S. 248-263
Band einer Reihe: 1489
Auflage: Berlin (u.a.): Springer, 1998
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:20
Letzte Änderung: 05 Mär 2013 08:42
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen