• Logic programming and automate...
  • *Staff View*

*Result*: Logic programming and automated reasoning

*Title*:
Logic programming and automated reasoning : 4th international conference ; proceedings / LPAR '93, St. Petersburg, Russia, July 13 - 20, 1993. Andrei Voronkov (ed.)
*Author/editor-in-chief*:
Voronkov, Andrei (Herausgeber) 
*Corporate*:
LPAR (4 : 1993 : Sankt Petersburg)
*Publication*:
Berlin : Springer, 1993
*Physical description scale*:
XIII, 386 Seiten : Diagramme
*Format*:
*book*
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 698 : Lecture notes in artificial intelligence
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*SS 4000*
*Subject Added Keywords*:
*ISBN*:
3540569448 ; 0387569448

*Additional information*

*Additional functions*