Logic programming formal methods and practical aplications

• Other Authors: Beierle, Christoph, Plumer, Lutz
• Format: Book
• Language: English
• Published: Amsterdam Elsevier 1995
• Series: Studies in computer science and artificial intelligence 11
• Subjects: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; Τεχνητή νοημοσύνη
• Physical Description: xiv, 404 p. 25 cm
• ISBN: 0444820922