A system of tense logic for transitive temporal structures with root and sink:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Batini, Carlo (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Roma 1975
Schriftenreihe:Istituto di Automatica <Roma>: Rapporti dell'Istituto di Automatica dell'Università di Roma e del Centro di Studio dei Sistemi di Controllo e Calcolo Automatici del C.N.R. 1975,2
Beschreibung:54 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!