Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Automated deduction - CADE-18 18th International conference on automated deduction Copenhagen, Denmark, July 27-30, 2002 proceedings

Export / Download

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

Automated deduction - CADE-18
ID: 1488056

Creatori:

(745891) International conference on automated deduction <18.; 2002 ; Copenhagen, Denmark >

Espandi persona

...