From post

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.

 

Другие публикации лиц с тем же именем

Resolution systems and their applications II.. Fundam. Informaticae, 3 (3): 333-362 (1980)Tableaux and Dual Tableaux: Transformation of Proofs., и . Stud Logica, 85 (3): 283-302 (2007)Relational Semantics Through Duality., , и . RelMiCS, том 3929 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2005)Semantic Analysis of Inductive Reasoning.. Theor. Comput. Sci., (1986)Relational Reasoning in Formal Concept Analysis., и . FUZZ-IEEE, стр. 1-6. IEEE, (2007)Two Logical Dimensions.. JELIA, том 838 из Lecture Notes in Computer Science, стр. 231. Springer, (1994)Relational Representation Theorems for Lattices with Negations: A Survey., , и . Theory and Applications of Relational Structures as Knowledge Instruments, том 4342 из Lecture Notes in Computer Science, Springer, (2006)Discrete Duality and Its Applications to Reasoning with Incomplete Information., и . RSEISP, том 4585 из Lecture Notes in Computer Science, стр. 51-56. Springer, (2007)Many-Valuedness and Uncertainty.. ISMVL, стр. 153-162. IEEE Computer Society, (1997)Structures with Many-Valued Information and Their Relational Proof Theory., , и . ISMVL, стр. 293-304. IEEE Computer Society, (2000)