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 - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540678953 - 9. august 2000
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
$ 131,86

Bestilles fra fjernlager

Forventes klar til forsendelse 26. jun. - 2. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 9. august 2000
ISBN13 9783540678953
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 550
Mål 156 × 234 × 29 mm   ·   1,29 kg
Sprog Tysk  
Klipper/redaktør Clote, Peter
Klipper/redaktør Schwichtenberg, Helmut

Se alt med P Clote ( f.eks. Paperback Bog )