Code: 01567557

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 01567557
Price: 103.12 EUR
Availability: InStock
Author: Peter G. Clote
ISBN: 9783540678953

by Peter G. Clote, Helmut Schwichtenberg

Language: English
Binding: Paperback
Number of pages: 550
Publisher: Springer, Berlin, 2000
More about this

103.12 €

RRP: 111.75 €

You save 8.64 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

If We Burn: The Mass Protest Decade and the Missing Revolution
14.17 € -29 %
Buy
From the Ashes
13.87 € -25 %
Buy
1619 PROJECT
18.33 € -24 %
Buy
Being Genuine
13.36 € -25 %
Buy
Rise and Fall of OPEC in the Twentieth Century
30.48 €
Buy
Aphrodite
16.60 €
Buy
Great Opera Houses: Masterpieces of Architecture
12.05 € -9 %
Buy
Remote Sensing
51.76 € -7 %
Buy
Evolutionary Biology
109.60 €
Buy
Handbook of Molecular Microbial Ecology I - Metagenomics and Complementary Approaches
337.53 € -4 %
Buy
Doppel-Klick - Das Sprach- und Lesebuch - Nordrhein-Westfalen - 10. Schuljahr
34.13 €
Buy
Kräuter-Kunde für Pferde: Natürliche Heilpflanzen und ihre Anwendung in der Pferdemedizin
31.29 € -11 %
Buy
The Power of Words
9.72 € -7 %
Buy
Beethoven: The String Quartets
14.98 € -6 %
Buy
Executive Politics in Times of Crisis
53.38 € -4 %
Buy
Nebesa
13.46 € -16 %
Buy
Bloody Kisses
18.33 €
Buy
AngelGoonz
18.33 € -7 %
Buy
Transfer Von Erfahrungen
72.42 € -4 %
Buy
Soul Ties
12.15 € -2 %
Buy
The Railway Children
16.70 € -1 %
Buy
Actin-Binding Proteins and Disease
206.04 € -7 %
Buy
EL MALA DE DIOS
19.04 €
Buy
Pharmakotherapie am Auge
53.17 € -4 %
Buy
Queenie: A Story of Hope
9.41 € -2 %
Buy
Popular Religion in Germany and Central Europe, 1400-1800
53.48 €
Buy
How to Get Your Race Car to Handle in the Corners: Get through the corners faster for quicker lap times!
9.72 € -7 %
Buy
Maria Werner
31.29 € -11 %
Buy
Control of Crop Diseases
59.25 €
Buy
Deyaniya Svyatyh Apostolov Otkrovenie
48.92 € -14 %
Buy
Seven Days to the Funeral
17.01 € -16 %
Buy
Race, Ethnicity, and Place in a Changing America, Third Edition
47.81 €
Buy
Ambivalent Affects in Kae Tempest's "Europe Is Lost"
15.29 € -14 %
Buy
Freedom's Final Season
18.33 € -7 %
Buy
El Greco - Porträt des Papst Pius V. - 500 Teile (Puzzle)
28.56 € -5 %
Buy
Very British Revolution
18.63 € -9 %
Buy
Leaving Aberdeen
13.06 € -2 %
Buy
The Light of Ancient Persia
30.08 € -2 %
Buy
Le marechal Petain
13.56 € -14 %
Buy
Verordnung zu Kostenerstattungsansprüchen für Gasgeräte
8.80 €
Buy
One Discipline, Four Ways
36.86 €
Buy
The Romance Of The Sowdone Of Babylon And Of Ferumbras His Son Who Conquered Rome (1881)
25.62 € -2 %
Buy
Law of Railways, Including the Consolidation and Other General Acts of Regulating Railways in England and Ireland, with Copious Notes of Decided Cases
40.92 € -2 %
Buy
Le carnet d'Yann - Lignes, 96p, A5 - Chapeau et N ud papillon
10.42 €
Buy
Silex and the city - Tome 9 - La Dérive des confinements
21.97 €
Buy
Florule Du Canton de Mery-Sur-Seine (1874)
32.81 € -2 %
Buy
Extraordinary Woman
131.79 €
Buy
Family Policy and Disability
138.78 €
Buy
Der Erwerb kraft öffentlichen Glaubens in der württembergischen Pfandgesetzgebung von 1825/1828 und im Bürgerlichen Gesetzbuch.
137.46 €
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

You get 249 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference of the EACSL in August 2000. The 28 revised full papers presented together with eight invited papers were carefully reviewed and selected by the program committee. Among the topics covered are automated deduction, theorem proving, categorical logic, term rewriting, finite model theory, higher order logic, lambda and combinatory calculi, computational complexity, logic programing, constraints, linear logic, modal logic, temporal logic, model checking, formal specification, formal verification, program transformation, etc.

Book details

Book category Books in English Computing & information technology Computer science Artificial intelligence

103.12 €

Full title: Computer Science Logic
Subtitle: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
Author: Peter G. Clote, Helmut Schwichtenberg
Language: English
Binding: Paperback
Number of pages: 550
EAN: 9783540678953
ISBN: 3540678956
ID: 01567557
Publisher: Springer, Berlin
Weight: 780 g
Dimensions: 235 × 155 × 29 mm
Published: 2000