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