A system of tense logic for transitive temporal structures with root and sink / Carlo Batini
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Batini, Carlo
|
| Titolo: |
A system of tense logic for transitive temporal structures with root and sink / Carlo Batini
|
| Pubblicazione: | Roma : La Goliardica, 1975 |
| Descrizione fisica: | 54 p., ill., 24 cm |
| Disciplina: | 629 |
| Note generali: | In testa al front.: Universita' di Roma. Istituto di Automatica. |
| Titolo autorizzato: | System of tense logic for transitive temporal structures with root and sink |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Italiano |
| Record Nr.: | 990000321310403321 |
| Lo trovi qui: | Univ. Federico II |
| Collocazione: | 04 020-19/4-1B |
| Opac: | Controlla la disponibilità qui |
Fa parte di:
Rapporti dell'Istituto di Automatica