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

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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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

10% OFF
This deals requires coupon
$36.00
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

Communication Systems

Communication Systems

$99.99
Trends in Teaching-Learning Technologies

Trends in Teaching-Learning Technologies

$169.99
SQL Server 2019 AlwaysOn

SQL Server 2019 AlwaysOn

$49.99
Advances in Intelligent Information Hiding and Multimedia Signal Processing

Advances in Intelligent Information Hiding and Multimedia Signal Processing

$169.00
Information Systems and Outsourcing

Information Systems and Outsourcing

$84.99
Plant Gene Silencing

Plant Gene Silencing

$129.00
Mathematik-Vorkurs

Mathematik-Vorkurs

$49.99
RFID as an Infrastructure

RFID as an Infrastructure

$54.99
Kierkegaard on Politics

Kierkegaard on Politics

$54.99
Service Systems Implementation

Service Systems Implementation

$84.99
Metal, Metal Oxides and Metal Sulphides for Biomedical Applications

Metal, Metal Oxides and Metal Sulphides for Biomedical Applications

$139.99
Advances and Applications in Nonlinear Control Systems

Advances and Applications in Nonlinear Control Systems

$129.00
Switch-Level Timing Simulation of MOS VLSI Circuits

Switch-Level Timing Simulation of MOS VLSI Circuits

$109.99
Finite Element Analysis of Electrical Machines

Finite Element Analysis of Electrical Machines

$169.99
Molecular Biology of Hematopoiesis 6

Molecular Biology of Hematopoiesis 6

$169.00
Performance Analysis of Parallel Applications for HPC

Performance Analysis of Parallel Applications for HPC

$139.00
Uli, der Pchter

Uli, der Pchter

$59.99
The Illusion of Leadership

The Illusion of Leadership

$64.99
Open-Set Text Recognition

Open-Set Text Recognition

$49.99
Ist es alles nur die Krankheit?

Ist es alles nur die Krankheit?

$20.00
Engineering Polymers

Engineering Polymers

$219.99
Radiation Therapy of Benign Diseases

Radiation Therapy of Benign Diseases

$74.99
Natural Surfactants

Natural Surfactants

$54.99
Lehrbuch der Softwaretechnik: Entwurf, Implementierung, Installation und Betrieb

Lehrbuch der Softwaretechnik: Entwurf, Implementierung, Installation und Betrieb

$59.99
Artificial Intelligence: Its Scope and Limits

Artificial Intelligence: Its Scope and Limits

$249.99
Einfhrung in die kombinatorische Topologie

Einfhrung in die kombinatorische Topologie

$59.99
Intraarticular Fractures

Intraarticular Fractures

$179.99
Ion Channel Localization

Ion Channel Localization

$129.00
The Search for Wild Relatives of Cool Season Legumes

The Search for Wild Relatives of Cool Season Legumes

$54.99
Erfolgsabhngige Anreizsysteme in ein- und zweistufigen Hierarchien

Erfolgsabhngige Anreizsysteme in ein- und zweistufigen Hierarchien

$59.99
Network-Based Parallel Computing. Communication, Architecture, and Applications

Network-Based Parallel Computing. Communication, Architecture, and Applications

$39.99
The Proteasome  Ubiquitin Protein Degradation Pathway

The Proteasome Ubiquitin Protein Degradation Pathway

$84.99
Free Radicals and the Liver

Free Radicals and the Liver

$109.99
Collaboration and Resistance in Napoleonic Europe

Collaboration and Resistance in Napoleonic Europe

$109.99
Sozialberatung

Sozialberatung

$44.99
Practical Applications of Fiberoptics in Critical Care Monitoring

Practical Applications of Fiberoptics in Critical Care Monitoring

$109.99
Adaptive Parsing

Adaptive Parsing

$109.99
UWB Communication Systems: Conventional and GHz

UWB Communication Systems: Conventional and GHz

$109.99
Advances in Social & Occupational Ergonomics

Advances in Social & Occupational Ergonomics

$169.99
Vortex Methods in Two-Dimensional Fluid Dynamics

Vortex Methods in Two-Dimensional Fluid Dynamics

$39.99
previous
next