Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

Automated deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings

Export / Download

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

Automated Deduction – CADE-21
ID: 772519