Logic for programming and automated reasoning : 6th international conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
Bok Engelsk 1999 LPAR '99
| Utgitt | Berlin : Springer , c1999
|
|---|---|
| Omfang | XII, 395 s. : fig.
|
| Emner | |
| ISBN | 3540664920
|
