Stock image for illustration purposes only - book cover, edition or condition may vary.
Logic at Botik '89
. Ed(S): Meyer, Albert R.; Taitslin, Michael A.
€ 67.01
FREE Delivery in Ireland
Description for Logic at Botik '89
Paperback. Editor(s): Meyer, Albert R.; Taitslin, Michael A. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 16. Weight in Grams: 950.
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 topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, ... Read more
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 topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, ... Read more
Product Details
Format
Paperback
Publication date
1989
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
304
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
292
Place of Publication
Berlin, Germany
ISBN
9783540512370
SKU
V9783540512370
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logic at Botik '89