Record Nr.

UNISA996466143103316

Titolo

Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / / Claude Kirchner, Hélène Kirchner, eds

Pubbl/distr/stampa


Springer Berlin / Heidelberg

Altri autori (Persone)

KirchnerHélène

KirchnerClaude

Disciplina

006.3/3

Soggetti

Automatic theorem proving - Congresses

Logic, Symbolic and mathematical - Congresses

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia