Benvenuti nell'Anagrafe della Ricerca d'Ateneo
La valutazione delle attività di ricerca che si svolgono nelle università ha assunto un'importanza rilevante sia per l'intero sistema universitario sia all'interno di ogni singolo ateneo. Roma Tre si è quindi dotata di idonei strumenti informativi in grado di supportare al meglio le azioni di monitoraggio e di valutazione delle attività di ricerca svolte nei propri dipartimentied ha realizzato una Anagrafe della Ricerca di Ateneo.
EnglishCIALDEA M (1986). Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic. INFORMATION PROCESSING LETTERS, 22(2), 87-90 [10.1016/0020-0190(86)90146-8].
| Titolo: | Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic. | |
| Autori: | ||
| Data di pubblicazione: | 1986 | |
| Rivista: | ||
| Citazione: | CIALDEA M (1986). Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic. INFORMATION PROCESSING LETTERS, 22(2), 87-90 [10.1016/0020-0190(86)90146-8]. | |
| Handle: | http://hdl.handle.net/11590/131482 | |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11590/131482
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021