Skip to content
Home/ Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, Ussr,
Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, Ussr,
Save Ask us

Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, Ussr,

No customer reviews yet ISBN 9783540512370
Published
Jun 1989
Language
English
$57.47
In stock
Most orders arrive within 3 weeks. Shipping policy
Qty
Sign in to Add to Saved list
Free delivery over $35 · 15-day returns

Condition

Brand New

An unread, unused copy: no writing or highlighting, and no missing or damaged pages. Every book we sell is brand new, including our lowest-priced titles.

About this book

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, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.

Specifications

PublishedJun 7, 1989
ISBN-103540512373
ISBN-139783540512370
LanguageEnglish

Buying from Saanjhi

  • Ships from the USA. Delivery to US addresses only.
  • Free delivery on orders over $35.
  • 15-day returns. Unless we send the wrong book or it arrives damaged, you pay return shipping and a 15% restocking fee.
  • Secure checkout. We never store card details.

Readers who bought this also bought

More from Computers | Machine Theory
See all
Hybrid Computational Intelligence: Challenges and Applications
<p><i>Hybrid Computational Intelligence: Challenges and Utilities </i>is a comprehensive resource that begins with the basics and main components of computational intelligence. It brings together many different aspects of the current research on HCI technologies, such as neural networks, support vector machines, fuzzy logic and evolutionary computation, while also covering a wide range of applications and implementation issues, from pattern recognition and system modeling, to intelligent control problems and biomedical applications. The book also explores the most widely used applications of hybrid computation as well as the history of their development. </p> <p>Each individual methodology provides hybrid systems with complementary reasoning and searching methods which allow the use of domain knowledge and empirical data to solve complex problems.</p>
$173.55
Discrete Mathematics
Biggs, Norman L
$115.52
Topology and Category Theory in Computer Science
This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so doing it offers a source of new problems with a practical flavor while stimulating original ideas and solutions. Reflecting the latest innovations at the interface between mathematics and computer science, the work will interest researchers and advanced students in both fields.
$142.95
Philosophical Papers
Humphreys, Paul
$131.97
Discrete Mathematics for Computing (2008)
Grossman, Peter
$109.97
Machine Learning: A Probabilistic Perspective
Murphy, Kevin P
$156.23