Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
A. Voronkov (ed.)
Bok Engelsk 1992 LPAR '92
Utgitt | Berlin : Springer , c1992
|
---|---|
Omfang | XIV, 509 s. : ill.
|
Emner | Automatic theorem proving - Congresses
Logic programming - Congresses Logikkprogrammering logikk-programmering kongresser form logikkprogrammering symbolsk logikk bevisteori logisk programmering |
ISBN | 038755727X. - 354055727X
|