Explicit substitution into action: a non-monotone logic for reasoning about actions and change
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Bednarczyk, Marek A. (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Warszawa IPI PAN 2002
Schriftenreihe:Prace IPI PAN 942
Beschreibung:10 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!