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 Nikolaj Bjorner 2011 edition

Name: Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings - Lecture Notes in Computer Science
Price: 65.99 USD
Availability: OutOfStock
Author: Nikolaj Bjorner

Precio

$ 65,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 13 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

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

2011 edition

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

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	12 de julio de 2011
ISBN13	9783642224379
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	508
Dimensiones	155 × 235 × 28 mm · 816 g
Lengua	Francés
Editor	Bjorner, Nikolaj
Editor	Sofronie-Stokkermans, Viorica