Axiomatization of computer-oriented modal logic and decision procedure:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Sawamura, Hajime (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Numazu, Japan 1982
Schriftenreihe:International Institute for Advanced Study of Social Information Science <Numazu>: Research report 23
Beschreibung:18 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!