Logical foundations of computer science Teil: 2., Tver '92 : Tver, Russia, July 20 - 24, 1992 / Lecture notes in computer science ; Vol. 620

Nerode, Anil and Mikhail Taitslin:

ISBN 10: 3540557075 / ISBN 13: 9783540557074

Published by Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1992

About this Item

IX, 514 S. : graph. Darst. Edition 1992, 514 p.! Unread book. Very good condition. Slight traces of storage. 9783540557074 Sprache: Englisch Gewicht in Gramm: 1000. Seller Inventory # 215039

Bibliographic Details

Title: Logical foundations of computer science Teil...

Publisher: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer

Publication Date: 1992

Binding: Softcover

Edition: 1992.

About this title

Synopsis:

This volume presents the papers selected for the SymposiumLogic at Tver '92, held at Sokol, near Tver, Russia in July1992. It is the second in a series of international symposiaon logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both theformer Soviet Union and the West, and indicates a new era ofinternational cooperation. Sponsors of the meeting include:the Association for Computing Machinery, the Association forSymbolic Logic, andthe Committee on MathematicalFoundations of Computer Science of IEEE. The book is a unique source of information on the state ofcomputer science research in the former Soviet Union andpresents important discoveries in the area of logicalfoundations of computer science.