top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Higher-order algebra, logic and term rewriting first international workshop, HOA '93 Amsterdam, The Netherlands, September 23-24, 1993 selected papers
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Higher-order algebra, logic and term rewriting
ID:
1525537
Creatori:
(756596) International workshop on higher-order algebra, logic and term rewriting <1. ; 1993 ; Amsterdam>
...