Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Logic at Botik '89

Logic at Botik '89

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540461807
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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