On the axiomatization of "if-then-else" /

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Guessarian, Irène, 1948-
Άλλοι συγγραφείς: Mesaguer, José
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Stanford, CA : Center for the Study of Language and Information, Stanford University, c1985.
Σειρά:Report (Center for the Study of Language and Information (U.S.)) ; no. CSLI-85-20.
Θέματα:

CARM 1 Store

Λεπτομέρειες τεκμηρίων από CARM 1 Store
Ταξιθετικός Αριθμός: A2:AN10E0 D05666
Αντίγραφο 1 Στη βιβλιοθήκη  Κάντε κράτηση