The logic of partial information /
από: Nait Abdallah, Areski, 1950-
Στοιχεία έκδοσης: (1995)
- Εμφάνιση παραπομπής
- Αποστολή με email
- Αποθήκευση
- Στα αγαπημένα
- Σελιδοδείκτης
- Προσθήκη στο καλάθι Αφαίρεση από το καλάθι
Truth, deduction, and computation : logic and semantics for computer science /
Αποθηκεύτηκε σε:
Κύριος συγγραφέας: | Davis, R.E. |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Στοιχεία έκδοσης: |
New York :
Computer Science Press,
c1989.
|
Σειρά: |
Principles of computer Science series.
|
Ταξινομικός αριθμός: |
005.13 DA |
Θέματα: | |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
-
The logic of partial information /
από: Nait Abdallah, Areski, 1950-
Στοιχεία έκδοσης: (1995) -
Semantics of programming languages: structures and techniques /
από: Gunter, Carl A.
Στοιχεία έκδοσης: (1992) -
The Format semantics of programming Languages: an introduction /cGlynn Winskel.
από: Winskel, Glynn.
Στοιχεία έκδοσης: (1993) -
Temporal Logic of Programs /
Στοιχεία έκδοσης: (1987) -
Doing Worlds with worlds: formal semantics without formal metaphysics /
από: Peregrin, Jaroslav.
Στοιχεία έκδοσης: (1995)