Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science - P Clote - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540678953 - August 9, 2000
In case cover and title do not match, the title is correct

Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science

P Clote

Price
£ 80.49
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 17 - 27
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science

The papers cover: 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; and many others topics.

550 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 9, 2000
ISBN13 9783540678953
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 550
Dimensions 156 × 234 × 29 mm   ·   1.29 kg
Language German  
Editor Clote, Peter
Editor Schwichtenberg, Helmut

See all of P Clote ( e.g. Paperback Book )