Books > Computing & IT > General theory of computing
|
Buy Now
Logical Foundations of Computer Science - Tver '92 - Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Paperback, 1992 ed.)
Loot Price: R1,806
Discovery Miles 18 060
|
|
Logical Foundations of Computer Science - Tver '92 - Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Paperback, 1992 ed.)
Series: Lecture Notes in Computer Science, 620
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|