Updating Logocal Databases
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Winslett, Marianne |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Cambridge :
Cambridge University Press,
1990
|
| Σειρά: | Cambridge tracts in theoretical computer science ;
; 9 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Natural language understanding
από: Allen, James 1950-
Δημοσίευση: (1995) -
Proofs and types
από: Girard, Jean-Yves
Δημοσίευση: (1990) -
Philosophical logic and artificial intelligence
Δημοσίευση: (1989) -
Non-monotonic reasoning :
από: Kukaszewicz, Witold
Δημοσίευση: (1990) -
Reasoning under incomplete information in artificial intelligence :
από: Sombe, Lea
Δημοσίευση: (1990)