Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

Theorem proving with analytic tableaux and related methods 4th International workshop TABLEAUX'95 SchloB Rheinfels, St. Goar, Germany, May 7-10, 1995

Export / Download

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

Theorem proving with analytic tableaux and related methods
ID: 1487879

Creatori:

(745838) International workshop TABLEAUX'95 4. SchloB Rheinfels 1995

Espandi persona

...