Code: 01567557

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 01567557
Price: 102.67 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

102.67 €

RRP: 111.27 €

You save 8.60 €

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.11 € -29 %
Buy
Being Genuine
13.30 € -25 %
Buy
Great Opera Houses: Masterpieces of Architecture
11.49 € -10 %
Buy
Remote Sensing
51.53 € -7 %
Buy
Beethoven: The String Quartets
14.92 € -6 %
Buy
EL MALA DE DIOS
18.95 €
Buy
AngelGoonz
18.25 € -7 %
Buy
The Power of Words
9.67 € -7 %
Buy
Evolutionary Biology
109.03 €
Buy
Doppel-Klick - Das Sprach- und Lesebuch - Nordrhein-Westfalen - 10. Schuljahr
34.28 €
Buy
Soul Ties
12.09 € -2 %
Buy
Popular Religion in Germany and Central Europe, 1400-1800
56.78 €
Buy
Bloody Kisses
19.15 €
Buy
One Discipline, Four Ways
36.71 €
Buy
Works of Jeremy Bentham, published under his executor, John Bowring. [The General Preface signed
29.95 € -2 %
Buy
Florule Du Canton de Mery-Sur-Seine (1874)
32.67 € -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.74 € -2 %
Buy
Transfer Von Erfahrungen
72.11 € -7 %
Buy
Maria Werner
31.16 € -11 %
Buy
Actin-Binding Proteins and Disease
205.15 € -7 %
Buy
The Romance Of The Sowdone Of Babylon And Of Ferumbras His Son Who Conquered Rome (1881)
25.51 € -2 %
Buy
Le carnet d'Yann - Lignes, 96p, A5 - Chapeau et N ud papillon
10.78 €
Buy
Family Policy and Disability
138.18 €
Buy
Extraordinary Woman
131.22 €
Buy
Race, Ethnicity, and Place in a Changing America, Third Edition
47.60 €
Buy
Seven Days to the Funeral
16.94 € -16 %
Buy
Very British Revolution
18.04 € -9 %
Buy
Executive Politics in Times of Crisis
53.15 € -4 %
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

102.67 €

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