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
9783540485995
Condition
New
Product Description

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993. The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

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

The Spider

$5.21

Die Bedeutung von Anfechtungs-, Widerrufs-, Rcktritts- und Gewhrleistungsrechten fr das Schadensm

$44.99

Computational Fluid Dynamics 2006

$329.99

The Crossover (Hardcover)

$12.74

Regional Integration, Trade and Industry in Africa

$89.00

Multiparameter Equations of State

$169.99

Wounded Masculinities

$89.00

Cable-Driven Parallel Robots

$199.99

International Joint Ventures

$109.99

Feeds for the Aquaculture Sector

$54.99

Lebensgeschichte der Gold- und Silberdisteln Monographie der mediterran-mitteleuropischen Composite

$64.99

Der Raman-Effekt und seine analytische Anwendung

$59.99

Advances in Visual Information Management

$169.00

Issues of Blood

$49.99

DNS of Wall-Bounded Turbulent Flows

$99.99

ASP.NET Web API 2: Building a REST Service from Start to Finish

$69.99

The Supreme Will or the danger of a premature peace

$54.99

Open Security

$59.99

Biological Nitrogen Fixation for the 21st Century

$259.00

A Touch of Malice by Scarlett St. Clair

$16.99

Computers and Devices for Communication

$189.00

Eigenschaften von Hochvakuumteeren, Extrakten und Restkohlen sowie von Chlorierungs- und Sulfonierun

$59.99

Extremal Combinatorial Problems and Their Applications

$39.99

Synergien bei Unternehmensakquisitionen

$59.99

Reindeer Husbandry

$59.99

The Evolution of Nordic Finance

$109.99

Practical Materials Characterization

$109.99

Psychological Decision Theory

$219.99

Advances in Geroscience

$169.99

HCI International 2019 - Posters

$39.99

Generalized Analytic Functions on Riemann Surfaces

$29.99

Community Policing

$60.00

Advances in Advertising Research (Vol. IV)

$39.99

Knowledge Management in Electronic Government

$54.99

From Research to Manuscript

$44.99

Deutsche Auenpolitik gegenber Amerika nach 9/11

$49.99

Views of Berlin

$39.99

Stability and Transport in Magnetic Confinement Systems

$169.99

Distributed Computing and Internet Technology

$54.99

Absolute Clauses in English from the Systemic Functional Perspective

$39.99