Temporal-logic theorem proving
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | UnknownFormat |
Veröffentlicht: |
Stanford, Calif.
1987
|
Schriftenreihe: | Technical Report. Computer Science Department, School of Humanities and Sciences, Stanford University. STAN-CS
87-1151 |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | Stanford/Calif., Univ., Dept. of Computer Science, Diss. 1987 |
---|---|
Beschreibung: | IX,161 S |