Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
P. Miglioli ... [et al.]
Bok Engelsk 1996 TABLEAUX '96,· Konferansepublikasjoner
| Utgitt | Berlin : Springer , c1996
|
|---|---|
| Omfang | X, 329 s. : ill.
|
| Emner | |
| Sjanger | Konferansepublikasjoner : (uri)https://id.nb.no/vocabulary/ntsf/378. - Konferanser (Form) : (NO-TrBIB)HUME01265. - Konferanser
|
| ISBN | 3540612084
|
