Approche logique de l'intelligence artificielle
Langues et logiques, logique intensionnelle et langue naturelle. Lasémantique de montague, logique tmporelle. Formalisatio du raisonnement révisable...
Zapisane w:
Format: | Książka |
---|---|
Język: | Undetermined |
Wydane: |
Paris
Dunod
1989
|
Hasła przedmiotowe: | |
Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Cần Thơ |
---|
Streszczenie: | Langues et logiques, logique intensionnelle et langue naturelle. Lasémantique de montague, logique tmporelle. Formalisatio du raisonnement révisable... |
---|