Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
Didier Galmiche (ed.)
Bok Engelsk 1997 TABLEAUX '97,· Konferanser (Form)
| Utgitt | Berlin : Springer , c1997
|
|---|---|
| Omfang | XI, 372 s. : fig.
|
| Emner | |
| Sjanger | Konferanser (Form) : (NO-TrBIB)HUME01265. - Konferanser
|
| ISBN | 3540629203
|
