Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings

Export / Download

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

Automated deduction, CADE-11
ID: 2860687

Creatori:

(1220896) Kapur, Deepak

Espandi persona

...