TU Darmstadt / ULB / TUbiblio

Towards state update axioms: Reifying successor state axioms

Thielscher, Michael (1998):
Towards state update axioms: Reifying successor state axioms.
In: Logics in artificial intelligence: European Workshop: JELIA'98, Dagstuhl; Proceedings. Hrsg.: J. Dix (u.a.) S. 248-263, 1489, Berlin (u.a.): Springer, 1998, Berlin (u.a.), Springer, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1998
Creators: Thielscher, Michael
Title: Towards state update axioms: Reifying successor state axioms
Language: German
Series Name: Logics in artificial intelligence: European Workshop: JELIA'98, Dagstuhl; Proceedings. Hrsg.: J. Dix (u.a.) S. 248-263
Volume: 1489
Place of Publication: Berlin (u.a.)
Publisher: Springer
Edition: Berlin (u.a.): Springer, 1998
Divisions: 20 Department of Computer Science
Date Deposited: 19 Nov 2008 16:20
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details