The logic of partial information /
από: Nait Abdallah, Areski, 1950-
Στοιχεία έκδοσης: (1995)
- Εμφάνιση παραπομπής
- Αποστολή με email
- Αποθήκευση
- Στα αγαπημένα
- Σελιδοδείκτης
- Προσθήκη στο καλάθι Αφαίρεση από το καλάθι
Temporal Logic of Programs /
Αποθηκεύτηκε σε:
Μορφή: | Βιβλίο |
---|---|
Γλώσσα: | English |
Στοιχεία έκδοσης: |
Berlin:
Springer,
1987.
|
Σειρά: |
EATCS Monographs on Theoretical Computer Science ;
8 |
Ταξινομικός αριθμός: |
005.13'1 KR |
Θέματα: | |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
-
The logic of partial information /
από: Nait Abdallah, Areski, 1950-
Στοιχεία έκδοσης: (1995) -
Elementary logic /
από: Quine, Willard Orman van.
Στοιχεία έκδοσης: (1981) -
Truth, deduction, and computation : logic and semantics for computer science /
από: Davis, R.E.
Στοιχεία έκδοσης: (1989) -
Incosistent mathematicics /
από: Mortensen, Chris.
Στοιχεία έκδοσης: (1995) -
Foundations of mathematical logic/
από: Curry, Haskell B., 1900-
Στοιχεία έκδοσης: (1977)