Mikhail Taitslin – författare

Visar alla böcker från författaren Mikhail Taitslin. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Logical Foundations of Computer Science - Tver '92

   Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings

   Av Anil Nerode, Mikhail Taitslin

   Häftad, 1992

   545 kr

   Lägg i varukorg

   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 …