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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540678953 - keskiviikko 9. elokuuta 2000
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
$ 116,59

Tilattu etävarastosta

Arvioitu toimitus ti - ke 1. - 9. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 9. elokuuta 2000
ISBN13 9783540678953
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 550
Mitta 156 × 234 × 29 mm   ·   1,29 kg
Kieli German  
Toimittaja Clote, Peter
Toimittaja Schwichtenberg, Helmut

Katso kaikki joka sisältää P Clote ( Esim. Paperback Book )