Logic programming formal methods and practical aplications

• Άλλοι συγγραφείς: Beierle, Christoph, Plumer, Lutz
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Amsterdam Elsevier 1995
• Σειρά: Studies in computer science and artificial intelligence 11
• Θέματα: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; Τεχνητή νοημοσύνη
• Φυσική περιγραφή: xiv, 404 p. 25 cm
• ISBN: 0444820922