Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Automated reasoning with analytic tableaux and related methods International conference, TABLEAUX'98 Oisterwijk, The Netherlands, May 5-8, 1998 proceedings

Export / Download

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

Automated reasoning with analytic tableaux and related methods
ID: 1492503

Creatori:

(747208) International TABLEAUX '98 Oisterwijk (The Netherlands) 1998

Espandi persona

...