*Result*: Logic programming
*Title*:
Logic programming : formal methods and practical applications / ed. by Christoph Beierle ...
*Author/editor-in-chief*:
*Publication*:
Amsterdam [ u.a.] : North Holland Elsevier, 1995
*Physical description scale*:
XIV, 404 S. : graph. Darst. ; 25 cm
*Format*:
*Language*:
*eng*
*series_multipart*:
Studies in computer science and artificial intelligence ; 11
*show_all_volumes*
*show_all_volumes*
*Notes*:
Literaturangaben
*Subject Added Keywords*:
*ISBN*:
0444820922