Michael A. Taitslin – författare

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

1 produkter

1. 

   Logic at Botik '89

   Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings

   Av Albert R. Meyer, Michael A. Taitslin

   Häftad, 1989

   566 kr

   Lägg i varukorg

   The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the …