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
|