Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings - Lecture Notes in Computer Science - Nikolaj Bjorner - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642224379 - tiistai 12. heinäkuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Nikolaj Bjorner
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings - Lecture Notes in Computer Science 2011 edition

Hinta
zł 263,90

Tilattu etävarastosta

Arvioitu toimitus ti 23. joulu - to 1. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.

521 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 12. heinäkuuta 2011
ISBN13 9783642224379
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 508
Mitta 155 × 235 × 28 mm   ·   816 g
Kieli Ranska  
Toimittaja Bjorner, Nikolaj
Toimittaja Sofronie-Stokkermans, Viorica
Näytä kaikki

Lisää tuotteita Nikolaj Bjorner

Katso kaikki joka sisältää Nikolaj Bjorner ( Esim. Paperback Book )