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
|