Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Higher order logic theorem proving and its applications 6. international workshop, HUG '93 Vancouver, B.C., Canada, August 11-13, 1993 proceedings

Higher Order Logic Theorem Proving and Its Applications 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Higher Order Logic Theorem Proving and Its Applications 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings

Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Higher order logic theorem proving and its applications
ID: 1381960