Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Persona/Ente/Famiglia

Espandi

Riduci

Export / Download

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

International conference on automated deduction <18.; 2002 ; Copenhagen, Denmark >
ID: 745891

Opere

Altre forme del nome

Nome da opac

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

Seleziona tutte

Deseleziona

Automated deduction - CADE-18

...