[IEEE 2006 International Symposium on Communications and Information Technologies - Bangkok, Thailand (2006.10.18-2006.09.20)] 2006 International Symposium on Communications and Information Technologies - A Method Checking the Correctness of Sentence of Formal language Based on Linear Resolution
Du, Ya-Jun, Li, Hai-ming, Hao, Fei, Xie, ChuanYear:
2006
Language:
english
DOI:
10.1109/iscit.2006.340011
File:
PDF, 6.06 MB
english, 2006