Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /

Enregistré dans:
Détails bibliographiques
Collectivité auteur: Conference on the Theoretical Aspects of Reasoning about Knowledge
Autres auteurs: Benthem, Johan Van
Format: Sách giấy
Publié: San Francisco, Calif. : Morgan Kaufmann, c2001.
Collection:The Morgan Kaufmann series in representation and reasoning
Sujets:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt