LEADER 01079nam2-22003251i-450-
001 990000321310403321
005 20001010
035   $a000032131
035   $aFED01000032131
035   $a(Aleph)000032131FED01
035   $a000032131
100   $a20001010d--------km-y0itay50------ba
101 0 $aita
105   $ay-------001yy
200 1 $a<<A >>system of tense logic for transitive temporal structures with root and sink$fCarlo Batini.
210   $aRoma$cLa Goliardica$d1975
215   $a54 p., ill., 24 cm
300   $aIn testa al front.: Universita' di Roma. Istituto di Automatica.
461  0$1001000037854$12001$aRapporti dell'Istituto di Automatica
676   $a629
700  1$aBatini,$bCarlo$03404
712 02$aUniversità degli studi di Roma.$bIstituto di automatica
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000321310403321
952   $a04 020-19/4-1B$bCI$fDINCH
959   $aDINCH
996   $aSystem of tense logic for transitive temporal structures with root and sink$9130071
997   $aUNINA
DB    $aING01