Η αναζήτηση επέστρεψε 2 αποτελέσματα.

Αποτελέσματα
	1.	Higher order logic and harware verification από Melham, T [aut] Σειρά: Cambridge Tracts in Theoretical Computer Science ; 31 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press c1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.3 MEL. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Introduction to HOL A theorem proving environment for higher order logic από Gordon, M. J [edt] Melham, T. F [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press c1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.3 GOR. Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας