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.
Θέματα:
Περιγραφή
Φυσική περιγραφή:38 p. : charts ; 28 cm.
Βιβλιογραφία:Bibliography: p. 34-35.