Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Logical Foundations of Computer Science

Best Price:
Buy Logical Foundations of Computer Science for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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

$39.99
See Site In stock Visit Store

Product Details

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

This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West. The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Fhren mit Gefhl

Fhren mit Gefhl

$34.99
Politikberatung in Deutschland

Politikberatung in Deutschland

$69.99
Theory of Technical Systems

Theory of Technical Systems

$74.99
Masterpieces of Swiss Entrepreneurship

Masterpieces of Swiss Entrepreneurship

$49.99
Ohio (A True Book: My United States)

Ohio (A True Book: My United States)

$5.96
Plant Life Cycles Pack

Plant Life Cycles Pack

$6.99
Cognition in 3E: Emergent, Embodied, Extended

Cognition in 3E: Emergent, Embodied, Extended

$109.99
New Concepts and Applications in Soft Computing

New Concepts and Applications in Soft Computing

$109.99
Freedom, Responsibility, and Therapy

Freedom, Responsibility, and Therapy

$39.99
Twins vs. Triplets: Back-to-School Blitz

Twins vs. Triplets: Back-to-School Blitz

$5.21
Analytic Islamic Philosophy

Analytic Islamic Philosophy

$79.99
Graph Theory in Paris

Graph Theory in Paris

$109.99
James Joyce in Zurich

James Joyce in Zurich

$54.99
Genocide and Human Rights

Genocide and Human Rights

$119.99
Mathematics for Seismic Data Processing and Interpretation

Mathematics for Seismic Data Processing and Interpretation

$54.99
Quantum Field Theory

Quantum Field Theory

$99.99
Mass Spectrometry of Proteins and Peptides

Mass Spectrometry of Proteins and Peptides

$109.00
Grundlagen der Strahlungsphysik und des Strahlenschutzes

Grundlagen der Strahlungsphysik und des Strahlenschutzes

$69.99
Praxis der Viszeralchirurgie

Praxis der Viszeralchirurgie

$229.99
Sustainable Operations in India

Sustainable Operations in India

$84.99
Data Mining Techniques for the Life Sciences

Data Mining Techniques for the Life Sciences

$219.99
Introduction to Insect Biotechnology

Introduction to Insect Biotechnology

$79.99
Proceedings of International Conference on Advanced Communications and Machine Intelligence

Proceedings of International Conference on Advanced Communications and Machine Intelligence

$279.99
Enzyme

Enzyme

$59.99
Einfhrung in die Mikrocomputertechnik

Einfhrung in die Mikrocomputertechnik

$69.95
Research and Education in Urban History in the Age of Digital Libraries

Research and Education in Urban History in the Age of Digital Libraries

$64.99
The New Migration in Europe

The New Migration in Europe

$39.99
Surrogate Motherhood Families

Surrogate Motherhood Families

$99.99
Die katalytische Druckhydrierung von Kohlen Teeren und Minerallen

Die katalytische Druckhydrierung von Kohlen Teeren und Minerallen

$44.99
Information Security Applications

Information Security Applications

$39.99
Steuerpolitik in 60 Minuten

Steuerpolitik in 60 Minuten

$19.99
Organisierter Konflikt in westeuropischen Parteien

Organisierter Konflikt in westeuropischen Parteien

$64.99
Emergency and Disaster Medicine

Emergency and Disaster Medicine

$129.00
Towards an Optical Internet

Towards an Optical Internet

$129.00
Computer Vision  ECCV 2022 Workshops

Computer Vision ECCV 2022 Workshops

$199.99
Joan of Arc on the Stage and Her Sisters in Sublime Sanctity

Joan of Arc on the Stage and Her Sisters in Sublime Sanctity

$89.99
Management, Tourism and Smart Technologies

Management, Tourism and Smart Technologies

$219.99
Pixelspiele

Pixelspiele

$29.99
Handbook of Parallel Constraint Reasoning

Handbook of Parallel Constraint Reasoning

$169.99
Addiction Research and Evaluation

Addiction Research and Evaluation

$119.99
previous
next