Copied Logic at Botik '89
Logic at Botik '89
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Future Energy
$99.00
Betriebliche Informationssysteme in virtuellen Organisationen
$59.99
Illustrated Manual of Regional Anesthesia
$39.99
Psychosocial and Legal Perspectives of Marital Breakdown
$129.00
Ace the PMI-ACP exam
$69.99
Writing History in Twentieth-Century Russia
$109.99
Education Policy, Digital Disruption and the Future of Work
$39.99
Shakespeares Fans
$99.99
World Scouting
$54.99
Harvest Time/Bears in Winter: Hands-On Science
$4.00
Pharmacology and Applications of Naturally Occurring Iridoids
$109.99
Johann Jakob Bachofens Geschichtsdeutung
$44.99
Internationales Handbuch der Gewaltforschung
$129.00
Spine Pain Care
$249.99
The Creators of Inside Money
$54.99
Teaching, Friendship and Humanity
$39.99
MultiMedia Modeling
$109.99
Introduction to SIMULA 67
$59.99
Tiergesttzte Interventionen in der Demenzbetreuung
$69.99
Advances in Direct Methods for Materials and Structures
$84.99
Kognition und Moralitt in politischen Lernprozessen
$39.99
Ethik und Protest
$44.99
Transformation von Unternehmen und Technologie
$39.99
Conserving Americas Neighborhoods
$39.99
Verpackung feuchtigkeitsempfindlicher Gter
$59.99
Economic Policy and the Transition to Democracy
$109.99
Sustainable Energy Transitions
$49.99
Transactions on Pattern Languages of Programming III
$72.00
Preispolitik
$29.99
Exploring Student Loneliness in Higher Education
$99.99
ROBOT2013: First Iberian Robotics Conference
$219.99
Pregnancy Outcomes of Unmarried Women in Japan (19952015)
$69.99
Analytic D-Modules and Applications
$159.99
The Sun and Photovoltaic Technologies
$169.99
Efficiency Models in Data Envelopment Analysis
$109.99
Retail Business
$89.99
Pdiatrische Notfall- und Intensivmedizin
$44.99
Beitrag zur Prfung metallischer Strahlmittel
$59.99
Models, Molecules and Mechanisms in Biogerontology
$169.99
Agricultural Productivity
$129.00
