Suggestion de sujets dans votre recherche.
Résultat(s) 1 - 3 résultats de 3 pour la requête '"Logic, Symbolic and mathematical Congresses."', Temps de recherche: 0,10s Affiner les résultats
1
Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
Publié 2001
Sujets: “...Logic, Symbolic and mathematical Congresses....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ajouter aux favoris
Enregistré dans:
2
Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /
Publié 2002
Sujets: “...Logic, Symbolic and mathematical Congresses....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ajouter aux favoris
Enregistré dans:
3
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Publié 2001
Sujets: “...Logic, Symbolic and mathematical Congresses....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel — Enregistrer la recherche