From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics.

J. Wu, H. Tan, и Y. Li. J. Appl. Non Class. Logics, 8 (4): 353-360 (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics.J. Wu, H. Tan, и Y. Li. J. Appl. Non Class. Logics, 8 (4): 353-360 (1998)Approximation to Linear Algebraic Transition System.Z. Zhang, J. Wu, и H. Yang. ICIC (3), том 304 из Communications in Computer and Information Science, стр. 336-343. Springer, (2012)On theorem proving in annotated logics.M. Lu, и J. Wu. J. Appl. Non Class. Logics, 10 (2): 121-143 (2000)Action Refinement for Real-Time Concurrent Processes with Urgency.G. Qin, и J. Wu. J. Comput. Sci. Technol., 20 (4): 514-525 (2005)An Algebraic Method to Decide the Deduction Problem in Many-Valued Propositional Calculus.J. Wu, и H. Tan. ISMVL, стр. 270-273. IEEE Computer Society, (1994)