CRIS Current Research Information System

Alberto Fiori, C.S.C. (2018). Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper).

Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper)

Claudio Sacerdoti Coen
2018
2018
Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018
1
9
Alberto Fiori, C.S.C. (2018). Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper).
Alberto Fiori, Claudio Sacerdoti Coen
4.01 Contributo in Atti di convegno
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/698490
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact