COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Springer Science & Business Media, Feb 21, 1990 - Computers - 338 pages
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.
R Chuaqui and P Suppes
T Coquand and C Paulin
E Ya Dantsin
Other editions - View all
Colog-88: International Conference on Computer Logic, Tallinn, USSR ...
Per Martin-Lof,Grigori Mints
No preview available - 2014
algebra algorithm allows apply arbitrary assume atomic axioms calculus called classical clauses closed complete Computer Conclusion condition connectives consider consists constant construction contains corresponding decidable defined definition denote dependent derivation described element equality equations equivalent example exists expressions extend fact finite fixed formula function give given hence implies induction inference infinite interpretation introduce language Lemma literals logic mathematical means method modal natural nonstandard normal notation Notes notion objects observables obtain occurs operator possible predicate premises present probability problem Proceedings proof propositional prove recursive reduction relation replacement resolution result ring rule satisfies Science semantics sense sequent simple solutions standard strategy subgoal substitution symbols Theorem theory true truth type theory University usual valid variables