COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science) pdf epub fb2

COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science) by Per Martin-Löf, Grigori Mints epub fb2 djvu

Author: Per Martin-Löf, Grigori Mints
Title: COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)
ISBN: 3540523359
ISBN13: 978-3540523352
Other Formats: azw mbr lrf lrf
Pages: 339 pages
Publisher: Springer; 1990 edition (March 23, 1990)
Language: English
Size EPUB version: 1364 kb
Size FB2 version: 1795 kb
Category: Computers & Technology
Subcategory: Computer Science

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.

Related EPUB FB2 books to COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science) by Per Martin-Löf, Grigori Mints
Computer Science Logic
Computer Science Logic
Programming Language Implementation and Logic Programming: 5th Internationa ...
Programming Language Implementation and Logic Programming: 5th Internationa ...
Logic Program Synthesis and Transformation: 5th International Workshop, LOP ...
Logic Program Synthesis and Transformation: 5th International Workshop, LOP ...
Csl 87: 1st Workshop on Computer Science Logic (Lecture Notes in Computer S ...
Csl 87: 1st Workshop on Computer Science Logic (Lecture Notes in Computer S ...
Axiomatising the Logic of Computer Programming (Lecture Notes in Computer S ...
Axiomatising the Logic of Computer Programming (Lecture Notes in Computer S ...
Logic for Programming, Artificial Intelligence, and Reasoning: 17th Interna ...
Logic for Programming, Artificial Intelligence, and Reasoning: 17th Interna ...
Logic and Its Applications: Fourth Indian Conference, ICLA 2011, Delhi, Ind ...
Logic and Its Applications: Fourth Indian Conference, ICLA 2011, Delhi, Ind ...
Logic Colloquium '90: Asl Summer Meeting in Helsinki (Lecture Notes in Logi ...
Logic Colloquium '90: Asl Summer Meeting in Helsinki (Lecture Notes in Logi ...
Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, ...
Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, ...
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aac ...
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aac ...
Programming Language Implementation and Logic Programming: 3rd Internationa ...
Programming Language Implementation and Logic Programming: 3rd Internationa ...
Foundations of Logic and Functional Programming Workshop: Proceedings (Lect ...
Foundations of Logic and Functional Programming Workshop: Proceedings (Lect ...