Code: 05274393

Logical Foundations of Computer Science

Name: Logical Foundations of Computer Science
Brand: Springer, Berlin
SKU: 05274393
Price: 59.08 EUR
Availability: InStock

by Yu. V. Matiyasevich, Anil Nerode

Language: English
Binding: Paperback
Number of pages: 397
Publisher: Springer, Berlin, 1994
More about this

59.08 €

Low in stock at our supplier
Shipping in 10 - 14 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Molecular pathological biology of Coronavirus infection SARS-CoV-2
42.02 € -9 %
Buy
Solo Leveling, Vol. 2
22.33 €
Buy
All about Weather: A First Weather Book for Kids
5.57 € -24 %
Buy
Sex Tips for Gay Guys
16.03 € -24 %
Buy
Theatre of Nepal and the People Who Make It
102.94 €
Buy
The Miracle on Garfield Avenue
11.06 € -2 %
Buy
Language, Culture, Computation: Computing - Theory and Technology
59.08 €
Buy
Mathematical Foundations Of Parallel Computing
143.44 €
Buy
Why Europe does not need a constitution
40.90 € -1 %
Buy
Works of Charles Darwin: Vol 12: A Monograph on the Sub-Class Cirripedia (1854), Vol II, Part 1
124.15 €
Buy
Literature of China in the Twentieth Century
60.09 € -5 %
Pre-order
Tourism and Trails
46.79 € -5 %
Buy
Rechtliche Aspekte beim Betrieb von PKW mit national/international ortsfremden Kennzeichen
94.92 € -1 %
Buy
Mord ist ihre Leidenschaft
11.26 € -9 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Logical Foundations of Computer Science

Book details
Synopsis
Trending among others

You get 147 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

59.08 €

Full title: Logical Foundations of Computer Science
Subtitle: 3rd International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Author: Yu. V. Matiyasevich, Anil Nerode
Language: English
Binding: Paperback
Number of pages: 397
EAN: 9783540581406
ISBN: 3540581405
ID: 05274393
Publisher: Springer, Berlin
Weight: 1 g
Dimensions: 279 × 216 × 21 mm
Published: 1994