Logic programming and automated reasoning
International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992
Livre Ecrit par: Voronkov, A. (1959-) ; International Conference LPAR '92 (Saint Petersburg, Russia ; Publié en: 1992
Edition:
New York:
Springer-Verlag
Springer-Verlag
Langue:
Anglais
Collation:
xiv, 509 p. ill.
;25 cm
ISBN: 038755727X
