«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Theorem Proving in Higher Order Logics

20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Theorem Proving in Higher Order Logics Klaus Schneider
Código Libristo: 01569143
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2007
This book constitutes the refereed proceedings of the 20th International Conference on Theorem Provi... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

El rastro de la ficción Tomás Val Sáez / Libro Tapa blanda
common.buy 22.59 €
Groessen der modernen Literatur Eugen Karl Dühring / Libro Tapa blanda
common.buy 27.39 €
Televizyon Haberlerinin Gelisen ve Degisen Biçimsel Yapisi Esennur Sirer / Libro Tapa blanda
common.buy 57.19 €
Mrtví & neklidní Martin Friedrich / Libro Tapa blanda
common.buy 5.39 €
Le Massif de la Colle Noire Brunet / Libro Tapa blanda
common.buy 8.49 €
notti bianche-Memorie dal sottosuolo Fëdor Dostoevskij / Libro Tapa blanda
common.buy 10.09 €
Die Benediktinerabtei Maria Laach Karl-Heinz Schumacher / Libro Tapa blanda
common.buy 17.79 €
Popular
W środku jesteśmy baśnią. Mowy i rozmowy Wiesław Myśliwski / Libro Tapa dura
common.buy 14.29 €
Finanzierung touristischer Massnahmen durch eine Kursteuer Miriam Dick / Libro Tapa blanda
common.buy 17.89 €

This book constitutes the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, in September 2007.§The 21 revised full papers presented together with 5 proof pearls (concise and elegant presentations of interesting examples) and the abstracts of 3 invited papers were carefully reviewed and selected from 52 submissions. Among the topics of this volume are formal semantics of specification, modelling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Theorem Proving in Higher Order Logics
Autor Klaus Schneider, Jens Brandt
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2007
Número de páginas 404
EAN 9783540745907
ISBN 3540745904
Código Libristo 01569143
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 635
Dimensiones 155 x 235 x 24

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Power of Noticing Max Bazerman / Libro Tapa blanda
common.buy 15.79 €
Popular
How to Speak Whale Tom Mustill / Libro Tapa blanda
common.buy 10.69 €
The World of the Counselor: An Introduction to the Counseling Profession Edward Neukrug / Libro Tapa blanda
common.buy 148.09 €
Microwave Engineering, 4th Edition International Adaptation David M. Pozar / Libro Tapa blanda
common.buy 90.19 €
Musculoskeletal Interventions: Techniques for Therapeutic Exercise, Fourth Edition Michael L. Voight / Libro Tapa blanda
common.buy 133.19 €
My Bipolar Mind III: The Poetic Beast Lucius M Johnson Sr / Libro Tapa blanda
common.buy 7.99 €
Principles of the Criminal Law: A Concise Exposition of the Nature of Crime, the Various Offences Punishable by the English Law ... with Table of Offe Seymour F Harris / Libro Tapa blanda
common.buy 32.79 €
Building a Book, Binding a Poem Meg Kennedy / Libro Tapa blanda
common.buy 21.09 €
Handmaking America: A Back-To-Basics Pathway to a Revitalized American Democracy Bill Ivey / Libro Tapa blanda
common.buy 15.39 €
Addiction the Enigma of Stigma? CESAR FABIANI / Libro Tapa dura
common.buy 31.69 €
Black Hole of Glenranald E. W. Hornung / Libro Tapa blanda
common.buy 19.09 €
Buffett and Beyond Dr J B Farwell / Libro Tapa blanda
common.buy 18.49 €
Research Design Clin Psych Ed2 Kazdin / Libro Tapa dura
common.buy 52.49 €
Relationship between Language and Nation in the Development of Austrian German Robert Stolt / Libro Tapa blanda
common.buy 17.89 €
Black Hole-Neutron Star Binary Merger in Full General Relativity Koutarou Kyutoku / Libro Tapa dura
common.buy 101.79 €
Hulk By Jeph Loeb: The Complete Collection Volume 1 Jeph Loeb / Libro Tapa blanda
common.buy 36.89 €
History of Addenbrooke's Hospital, Cambridge Arthur RookMargaret CarltonW. Graham CannonLord Butterfield of Stechford / Libro Tapa blanda
common.buy 74.39 €
At Home in Diaspora Wendy W. Walters / Libro Tapa blanda
common.buy 31.39 €
Woman's Guide to How Men Think Shawn T. Smith / Libro Tapa blanda
common.buy 18.09 €
Hitler at the Obersalzberg J.C. Boone / Libro Tapa blanda
common.buy 20.09 €
Popular
Ad Hoc at Home Thomas Keller / Libro Tapa dura
common.buy 41.39 €
Microwave Engineering David M. Pozar / Libro Tapa dura
common.buy 245.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?