Theorem Proving in Higher Order Logics: 17th International Conference, Tphols 2004, Park City, Utah, Usa, September 14-17, 2004, Proceedings - Lecture Notes in Computer Science - Konrad Slind - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540230175 - 1 de septiembre de 2004
En caso de que portada y título no coincidan, el título será el correcto

Konrad Slind
Theorem Proving in Higher Order Logics: 17th International Conference, Tphols 2004, Park City, Utah, Usa, September 14-17, 2004, Proceedings - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

Nuestros clientes opinan:

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

Covers the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004. It addresses theorem proving, verification, inductive types, automated deduction, mechanized proofs, mathematical logic, proof theory, type systems, and computability.

340 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de septiembre de 2004
ISBN13 9783540230175
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 340
Dimensiones 156 × 234 × 18 mm   ·   498 g
Lengua Alemán  

Mere med samme udgiver

Ver todo de Konrad Slind ( Ej. Paperback Book )