Logic programming formal methods and practical aplications
Άλλοι συγγραφείς: | , |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam
Elsevier
1995
|
Σειρά: | Studies in computer science and artificial intelligence
11 |
Θέματα: |
Πίνακας περιεχομένων:
- Includes references