COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

Front Cover
Springer Science & Business Media, Feb 21, 1990 - Computers - 338 pages
0 Reviews
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Morozov
1
R Chuaqui and P Suppes
25
T Coquand and C Paulin
50
E Ya Dantsin
67
Hallnas
94
Ya Kreinovich
112
P MartinLof
146
G Mints
198
S Neiman
232
Copyright

Other editions - View all

Common terms and phrases