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 and Computer Science

Logic and Computer Science

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

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.

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

Single Product Purchase

$27.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
$29.99 $29.99

10% OFF
This deals requires coupon Get Code Here
$27.00
See Site In stock Visit Store

Similar Products

Geldpolitik

$19.99

A. J. P. Taylor

$109.99

The Nemesis of Power

$59.99

Mediation als Wissenschaftszweig

$79.99

Diskurse der deutschen Einheit

$64.99

Computer Vision -- ACCV 2014

$54.99

Chaos and Socio-Spatial Dynamics

$54.99

Tropfen, Blasen und Lamellen oder Von den Formen flssiger Krper

$49.99

Artificial General Intelligence

$59.99

Effects of Thermal Stimulation during Passive Driver Fatigue

$79.99

Modal View of Atmospheric Variability

$84.99

Peanut Processing Characteristics and Quality Evaluation

$169.00

Einwanderungspolitik und Krise im regionalen Kontext

$99.99

Orphan Lung Diseases

$249.99

Parasitic Substrate Coupling in High Voltage Integrated Circuits

$109.99

New Directions in Computational Economics

$169.99

Optimization Methods in Mathematical Modeling of Technological Processes

$179.99

Multisensordatenverarbeitung in der Robotik

$69.99

Data Privacy Management and Autonomous Spontaneous Security

$54.99

Beneath the Bed and Other Scary Stories: An Acorn Book (Mister Shivers #1)

$4.49

Current Trends in Web Engineering

$54.99

Materials Processing Fundamentals 2024

$199.99

Organic Molecular Crystals

$39.99

Energy from Biomass

$109.99

Proceedings of the 1990 Academy of Marketing Science (AMS) Annual Conference

$169.99

Cutaneous Haptic Feedback in Robotic Teleoperation

$54.99

Proceedings of 6th International Conference in Software Engineering for Defence Applications

$129.00

Flash Floods

$199.99

The First 1000 Days of Early Childhood

$139.99

Liver Diseases in Infancy and Childhood

$39.99

Dekoloniale politische Bildung

$49.99

Interfaces Crystallization Viscoelasticity

$39.99

Umberto Eco, The Da Vinci Code, and the Intellectual in the Age of Popular Culture

$19.99

Globalization, Agriculture and Food in the Caribbean

$89.00

Seminal Contributions to Information Systems Engineering

$109.99

Die Rechtsordnung des GATT aus vlkerrechtlicher Sicht / GATT from an International Law Perspective

$69.95

Philosophy Of Leisure

$29.99

Kompetenzen von Mitarbeitenden in der digitalisierten Arbeitswelt

$49.99

Non-destructive Materials Characterization and Evaluation

$199.99

Las aventuras del Superbebe Panal (Super Diaper Baby #1) (Captain Underpants)

$4.49