bokomslag Logical Foundations of Computer Science - Tver '92
Data & IT

Logical Foundations of Computer Science - Tver '92

Anil Nerode Mikhail Taitslin

Pocket

769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-15 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 517 sidor
  • 1992
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.
  • Författare: Anil Nerode, Mikhail Taitslin
  • Format: Pocket/Paperback
  • ISBN: 9783540557074
  • Språk: Engelska
  • Antal sidor: 517
  • Utgivningsdatum: 1992-06-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K