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

Physik fr Chemiker II

$39.99

The Fountains of Silence by Ruta Sepetys

$12.99

The Contemporary Japanese Economy

$109.99

Mathematik fr Wirtschaftsingenieure und naturwissenschaftlichtechnische Studiengnge

$54.99

Frank OConnor at Work

$49.99

Proceedings of 19th Latin American Control Congress (LACC 2022)

$379.99

El Capitn Calzoncillos y la sensacional saga del seor Sohediondo (Captain Underpants #12)

$5.99

Concepts & Images

$109.99

Control of Transcription

$39.99

British Abolitionism and the Rhetoric of Sensibility

$119.99

The Concept of Judgment in Montaigne

$54.99

Einkommensteuer und Steuerwirkungslehre

$39.99

Disorganized Crimes

$39.99

Scaling Customer Success

$29.99

Os Organoosmium Compounds

$39.99

The Political Economy of East Asia

$54.99

Starting Up in Business Networks

$129.99

Energy Resources

$54.99

The Making of Tests for Index Numbers

$109.99

Tissue Repair

$129.00

Multiaxiale Schmerzklassifikation

$37.99

Geometric Dynamics

$54.99

Intelligent Computer Mathematics

$54.99

Narrative and Representation in the Poetry of Wallace Stevens

$169.99

Schadensmanagement fr rzte

$69.99

Oil Crop Genomics

$199.99

East Asian Low-Carbon Community

$69.99

Techniques and Concepts of High-Energy Physics

$109.99

Polizeikommunikation auf Social Media

$69.99

Mobile Networks and Management

$79.99

Essays in Honor of William N. Kinnard, Jr

$84.99

Grundlagen der Marktforschung

$59.99

Who Decides?

$39.99

Krisenmanagement in Projekten

$74.99

Navigating the Night Sky

$44.99

Musical Revolutions in German Culture

$84.99

Making Citizens

$39.99

Corporate Governance, Strategie und Unternehmenserfolg

$59.99

Das einzigartige Unternehmen

$44.99

Meningiomas

$109.99