Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Automated deduction, CADE-12 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings

Export / Download

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

Automated Deduction — CADE-12
ID: 2831746

Creatori:

(45435) Bundy, Alan

Espandi persona

...