IEEE.International symposium on multiple-valued logic (11th : 1981 : Univ. of Oklahoma):proceedings; the 11th international symposium on multiple-valued logic.IEEE,1981.
International symposium on multiple-valued logic (11th : 1981 : Univ. of Oklahoma):proceedings; the 11th international symposium on multiple-valued logic
International Symposoium on Logical Foundation of Computer Science.International Symposium on Logical Foundation of Computer Science(2nd : 1992 : Tver):Logical foundations of computer Science.Springer,1992.
J. Sickmann,International Workshop on Extensions of Logic programming.International Workshop on Extensions of Logic programming:Extensions of logic programming.Springer,1991.
International Workshop on Logic Programming Synthesis and Transformation.International Workashop on Logic programm Synthesis and Transformation(1991 : University of Manchester):Logic program synthesis and transition.Springer,1991.
International Symposium on Logical Foundations of Computer Science.International Symposium on Logical Foundations of Computer Science(2nd : 1992 : Tver):Logiccal foundations of computer science.Springer,1992.
.Computer science logic: 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings.,.
.Rewriting logic and its applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /.,.
Rewriting logic and its applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /