Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings
A. Voronkov (ed.)
Bok Engelsk 1992 Russian Conference on Logic Programming
Utgitt | Berlin : Springer , c1992
|
---|---|
Omfang | IX, 514 s. : ill.
|
Emner | Logic programming - Congresses
Logikkprogrammering Parlog Programutvikling Vis mer... Prolog
logikk-programmering kunstig intelligens kongresser form logikkprogrammering symbolsk logikk bevisteori programmeringsspråk matematikk |
ISBN | 0387554602. - 3540554602
|