Πρότυπο:MAE544-Biblio
Από Wiki Τμήματος Μαθηματικών
Αναθεώρηση ως προς 15:40, 27 Αυγούστου 2022 από τον Mathwikiadmin (συζήτηση | συνεισφορές) (Νέα σελίδα με '* Π. Σταματόπουλος, "Λογικός και Συναρτησιακός Προγραμματισμός", Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, http://hdl.handle.net/11419/3587 (με διορθωμένα παροράματα εδώ) * Η. Σακελλαρίου, Ν. Βασιλειάδης, Π. Κεφαλάς, Δ. Σταμάτης, "Τεχνικές Λογικού Προγραμματισμού", Σύνδε...')
- Π. Σταματόπουλος, "Λογικός και Συναρτησιακός Προγραμματισμός", Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, http://hdl.handle.net/11419/3587 (με διορθωμένα παροράματα εδώ)
- Η. Σακελλαρίου, Ν. Βασιλειάδης, Π. Κεφαλάς, Δ. Σταμάτης, "Τεχνικές Λογικού Προγραμματισμού", Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, 20# http://hdl.handle.net/11419/777
- I. Bratko, "Prolog Programming for Artificial Intelligence", Third Edition, Addison-Wesley, 2000.
- L. Sterling, E. Shapiro, "The Art of Prolog", The MIT Press, 1994.
- J. W. Lloyd, "Foundations of Logic Programming", Springer Verlag, 1993