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.
EnglishSome remarks on the possibility of extending resolution proof procedures to intuitionistic logic. / CIALDEA M. - In: INFORMATION PROCESSING LETTERS. - ISSN 0020-0190. - 22:2(1986), pp. 87-90.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11590/131482| Titolo: | Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic. |
| Autori interni: | CIALDEA, Marta |
| Data di pubblicazione: | 1986 |
| Rivista: | INFORMATION PROCESSING LETTERS |
| 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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2017