This item is printed on demand - it takes 3-4 days longer - Neuware -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. 528 pp. Englisch.

N� de ref. del art�culo 9783540557074

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Logical Foundations of Computer Science - Tver '92
Editor: Springer Berlin Heidelberg Jun 1992
Fecha de publicaci�n: 1992
Idioma: Ingl�s
ISBN 10: 3540557075
ISBN 13: 9783540557074
Encuadernaci�n: Taschenbuch
Estado: Neu

Acerca de

Sinopsis

This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

BuchWeltWeit Ludwig Meier e.K.
Germany

Condiciones de venta y env�o

Condiciones de venta

???????????????????????????????????????????????????????
Allgemeine Gesch�ftsbedingungen mit Kundeninformationen
???????????????????????????????????????????????????????

Inhaltsverzeichnis
??????????????????