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

Computer Science Logic

Computer Science Logic

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

This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others.

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

Slope Stochastic Dynamics

$159.99

Engaging Displaced Populations in a Future Syrian Transitional Justice Process

$64.99

Japans New Imperialism

$109.99

Organic Fluorine Chemistry

$39.99

Infrastrukturinvestments

$39.99

Womens Lives in Contemporary French and Francophone Literature

$79.99

Erich Hckel (1896-1980)

$109.99

From Diagnostics to Learning Success

$49.99

Physical and Nonstandard Gauges

$84.99

Internetnutzung von Jugendlichen und jungen Erwachsenen mit Down-Syndrom

$44.99

Beschleuniger in der Groforschung

$69.99

Human-Computer Systems Interaction: Backgrounds and Applications 3

$109.99

Mathematics in Industrial Problems

$39.99

Biosyntheses

$109.99

Emotion Online

$54.99

Condition Monitoring Algorithms in MATLAB

$279.99

Recent Developments in Intelligent Systems and Interactive Applications

$169.99

Stability of Time Dependent and Spatially Varying Flows

$109.99

Higher Education in the World 4

$54.99

Critical Care Sedation

$99.99

Karen's School Picture: A Graphic Novel (Baby-Sitters Little Sister #5)

$8.24

The Role of Microbes in Common Non-Infectious Diseases

$84.99

Creating the European Area of Higher Education

$109.99

Intercultural Aesthetics in Traditional Chinese Theatre

$69.99

Information Processing and Management of Uncertainty

$54.99

Biology of Cellular Transducing Signals

$39.99

Wahlen und Antiregimekriege in Zentralamerika

$59.99

Reconfigurable Intelligent Surface-Enabled Integrated Sensing and Communication in

$129.00

Immunochemical Protocols

$84.99

Die Kunst der Demotivation

$39.99

New Advances in Intelligent Signal Processing

$109.99

Taxonomy Matching Using Background Knowledge

$39.99

Advances in Integrated Soil Fertility Management in sub-Saharan Africa: Challenges and Opportunities

$329.99

Social Choice and Democracy

$39.99

Das homogene Packproblem in der betriebswirtschaftlichen Logistik

$59.99

Philosophie der Existenz

$49.99

The Witches

$11.24

Distributed Computing and Internet Technology

$54.99

Human Migration and Complex Systems Science

$54.99

Quality Management Systems for the Food Industry

$39.99