| 168042 | |
| IDG860410022 | |
| 86.04.10022 - Ist. Doc. Giur. / CNR - Firenze
| |
| Sanche Garcia Dora
| |
| Evaluacion automatica de formulas del sistema K1
| |
| (Valutazione automatica di formule del sistema K1)
| |
| Contributo alle "Giornate mediterranee di logica e informatica
giuridica" organizzate dal Dipartimento di Filosofia del Diritto
dell' Universita' Baleare e dal CALIJ (Centro di Analisi, Logica e
Informatica Giuridica) di Madrid, Palma di Maiorca, 22-27 novembre
1982
| |
| | |
| | |
| | |
| Inf. dir., an. 9 (1983), fasc. 2, pag. 327-341
| |
| (Bibliografia: a pie' di pagina o nel corpo del testo)
| |
| F6002; F79
| |
| | |
| | |
| | |
| | |
| | |
| | |
| Centro diretto da G. Taddei Elmi - IDG Firenze
| |