Aximo: Automated Axiomatic Reasoning for Information Update

Electronic Notes in Theoretical Computer Science 2009 Vol. 231; Iss. none

Aximo: Automated Axiomatic Reasoning for Information Update

Simon Richards, Mehrnoosh Sadrzadeh
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
231
Année:
2009
Langue:
english
Pages:
15
DOI:
10.1016/j.entcs.2009.02.037
Fichier:
PDF, 327 KB
english, 2009
La conversion en est effectuée
La conversion en a échoué