Λογική Πρώτης Τάξης

Ο σκοπός αυτού του κεφαλαίου είναι να εισχθεί η λογική πρώτης τάξης από συντακτικής πλευράς και να παρουσιασθούν οι δύο βασικές διαδικασίες που χρησιμοποιούνται στο λογικό προγραμματισμό, η ενοποίηση και η αρχή της επίλυσης. Οι διαδικασίες αυτές αποτελούν τα θεμέλια επάνω στα οποία υλοποιείται η γλώ...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Stamatopoulos, Panagiotis, Σταματόπουλος, Παναγιώτης
Μορφή: 7
Γλώσσα:Greek
Έκδοση: 2016
Θέματα:
Διαθέσιμο Online:http://localhost:8080/jspui/handle/11419/3593