[IEEE 2008 3rd International Conference on Innovative Computing Information and Control - Dalian, Liaoning, China (2008.06.18-2008.06.20)] 2008 3rd International Conference on Innovative Computing Information and Control - (a, t) - Resolution Principle Based on Lattice-Valued Tense Propositional Logic LTP(X)
Li, Wenjiang, Liu, Xin, Zou, LiAnnée:
2008
Langue:
english
DOI:
10.1109/icicic.2008.1
Fichier:
PDF, 197 KB
english, 2008