Τεχνικές Γραφής Κατηγορηματικής Λογικής - Αναζήτηση σε χώρο καταστάσεων
ΚΑΛΛΕΣ, ΔΗΜΗΤΡΗΣ
Μελέτη του χώρου καταστάσεων του προβλήματος "ο αγρότης που πρέπει να περάσει από τη γέφυρα με ένα λύκο, ένα μαρούλι και ένα πρόβατο" - Δοκιμές στην κατηγορηματική λογική