A predicate transformer approach to knowledge and knowledge-based protocols:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Sanders, Beverly A. (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Zürich 1992
Schriftenreihe:Technische Hochschule <Zürich> / Departement Informatik: Gelbe Berichte des Departements Informatik 181
Beschreibung:35 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!