This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
Read More
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
Read Less
Add this copy of Colog-88: International Conference on Computer Logic, to cart. $61.22, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1990 by Springer.
Add this copy of Colog-88: International Conference on Computer Logic, to cart. $55.62, very good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 1990 by Springer.
Add this copy of Colog-88: International Conference on Computer Logic, to cart. $60.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1990 by Springer.
Add this copy of Colog-88: International Conference on Computer Logic, to cart. $22.92, good condition, Sold by Books On The Run rated 4.0 out of 5 stars, ships from Ocala, FL, UNITED STATES, published 1990 by Springer.
Add this copy of Colog-88: International Conference on Computer Logic, to cart. $71.50, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1990 by Springer.
Add this copy of Colog-88: International Conference on Computer Logic, to cart. $100.56, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1990 by Springer.
