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 - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642224379 - 12. juli 2011
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Nikolaj Bjorner

Pris
NOK 669

Bestillingsvarer

Forventes levert 28. nov - 9. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 12. juli 2011
ISBN13 9783642224379
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 508
Mål 155 × 235 × 28 mm   ·   816 g
Språk Fransk  
Redaktør Bjorner, Nikolaj
Redaktør Sofronie-Stokkermans, Viorica
Vis alle

Mer med Nikolaj Bjorner

Se alt med Nikolaj Bjorner ( f.eks. Pocketbok )