Cover Image

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

Show other versions (1)

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 syst...

Full description

Bibliographic Details
Corporate Authors: International Conference on Computer Logic Tallinn, Estonia, SpringerLink (Online service)
Other Authors: Martin-Löf, Per, 1942-, Mint͡s, G. E.
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, ©1990.
Series:Lecture notes in computer science ; 417.
Subjects:
Computer science > Mathematics > Congresses.
Logic, Symbolic and mathematical > Congresses.
Computer science > Mathematics.
Logic, Symbolic and mathematical.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.9.M35 I57 1988
 
Call Number Status Get It
QA76.9.M35 I57 1988 Available