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

Descartes Treatise on Man and its Reception

$99.00

Fertigungsverfahren 5

$39.99

Printdesign

$9.99

Infobiotics

$129.00

Pluripotency in Domestic Animal Cells

$54.99

Youth and Violent Performativities

$54.99

Computational Methods for Protein Structure Prediction and Modeling

$169.99

The Implementation of Legally Binding Measures to Strengthen the Biological and Toxin Weapons Conven

$169.00

Advances in Agricultural and Industrial Microbiology

$109.99

Proceedings of the 18th International Meshing Roundtable

$169.00

Systems Practice: How to Act in a Climate Change World

$84.99

Boreout - Biografien der Unterforderung und Langeweile

$69.99

Materials Ageing in Light-Water Reactors

$329.99

Fatigue

$219.99

Annual Review of Hydrocephalus

$54.99

Verhandlungssache Verhandlungsfhrung in Gesundheitsberufen

$29.99

E-Learning, E-Education, and Online Training

$39.99

Ethik knstlicher Intelligenz

$17.99

Labour Under Corbyn

$69.99

Advanced Network Technologies and Intelligent Computing

$84.99

Evaluation und Radikalisierungsprvention

$17.99

Management und Computer

$59.99

Untersuchung der Kohlenwasserstoffle und Fette sowie der ihnen verwandten Stoffe

$84.99

Chemistry and Technology of Lubricants

$39.99

Unternehmenskooperationen in Deutschland

$59.99

Corporate Transformation

$169.99

Transformation staatlicher Industriebetriebe in China

$59.99

Collaboration and Technology

$72.00

Legislative Drafting for Market Reform

$54.99

Connectomics in NeuroImaging

$39.99

Baustoffe und Baustoffprfung

$84.99

Problem-solving and Learning for Public Services and Public Management

$84.99

Essential AutoLISP

$119.00

Die Nierenerkrankungen

$64.99

Sustainability Challenges and Delivering Practical Engineering Solutions

$199.99

Soziale Integration durch gemeinschaftliche Wohnkonzepte fr die Silver Society

$49.99

Angewandte Oberflchenanalyse mit SIMS Sekundr-Ionen-Massenspektrometrie AES Auger-Elektronen-Spekt

$79.99

Die Existenz des hybriden Kufers

$64.99

Taschenbuch der Lngenmetechnik

$64.99

Sheikh Mohammad Abdullahs Reflections on Kashmir

$129.99