Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Logical Foundations of Computer Science
Best Price (Coupon Required):
Buy Logical Foundations of Computer Science for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Investigators: The Sky: What's Up?
$4.46
Introduction to Algebra
$99.99
Testing of Communicating Systems
$169.00
Formal Modeling and Analysis of Timed Systems
$39.99
Extracellular Composite Matrices in Arthropods
$299.99
Security and Defence in Europe
$119.99
Buenas noches, luna
$4.46
The Pillars of Finance
$29.99
Regional Economic Modeling: A Systematic Approach to Economic Forecasting and Policy Analysis
$84.99
Fighting Against the Injustice of the State and Globalization
$39.99
Psychotherapie
$179.99
The Statistics of Gene Mapping
$169.99
Social Partners and Gender Equality
$139.99
Logistikprozesse mit SAP
$44.99
Raumgeometrie
$29.99
An Introduction to Mathematical Modeling of Infectious Diseases
$39.99
Computer Vision -- ECCV 2010
$109.99
Mobilities in Life and Death
$49.99
Interkulturelles Training
$54.99
Report of Strategic Studies in China (2019)
$39.99
Planung der Kinematik von Industrierobotersystemen zum Schutzgasschweien im Schiffbau
$69.99
Leitfaden Erwachsenenherzchirurgie
$44.99
Pathologie in Heidelberg
$54.99
Visualization and Processing of Tensor Fields
$109.99
Neue Horizonte?
$59.99
Die Theorie der Synchronmaschine im nichtstationren Betrieb
$79.99
Understanding Autonomous Cooperation and Control in Logistics
$129.00
Neutron Beam Design, Development, and Performance for Neutron Capture Therapy
$109.99
Reaction Dynamics in Clusters and Condensed Phases
$329.99
Richtwerte fr das Frsen von unlegierten und legierten Bausthlen mit Hartmetall
$49.99
Natural Mineral Materials
$119.99
A Knowledge Representation Practionary
$219.99
Science and Technology of Crystal Growth
$169.99
Weiterbildung fr Ansthesisten 2000
$74.99
Ambient Intelligence for Scientific Discovery
$54.99
Treewidth, Kernels, and Algorithms
$54.99
Global-Local Tradeoffs, Order-Disorder Consequences
$159.99
Microsoft Azure
$54.99
Heat Transfer
$54.99
Signal and Information Processing, Networking and Computers
$169.99
