«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

16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Theorem Proving in Higher Order Logics David Basin
Código Libristo: 01562897
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2003
This book constitutes the refereed proceedings of the 16th International Conference on Theorem Provi... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

BRIO World 33658 Baustellenfahrzeuge - Ergänzung für die BRIO-Holzeisenbahn - Empfohlen ab 3 Jahren / Juego/Juguete Juego
common.buy 32.99 €
Creature dal mare profondo William Hope Hodgson / Libro Tapa blanda
common.buy 18.69 €
Encyklopädie und Methodologie der philologischen Wissenschaften Ernst Bratuscheck / Libro Tapa dura
common.buy 54.79 €
Entwicklung eines Rahmenkonzepts zur IT-basierten Unterstützung des Chancen- und Risikomanagements in Konzernen Raphaela Saitz / Libro Tapa blanda
common.buy 62.99 €
De la poubelle au musée. Anthropologie des restes Octave Debary / Libro Tapa blanda
common.buy 16.09 €
Fale ao Sol: Há muitas horas no dia pra se pensar Edmar Camara / Libro Tapa blanda
common.buy 10.69 €
Delito de fuga CHRISTOPHE LEON / Libro Tapa blanda
common.buy 15.09 €
Abu -Lala Mahari ( - ) Avetik Isahakyan / Libro Tapa blanda
common.buy 20.59 €
Identification Des Esp ces pices Prioritaires Pour La Domestication Serge Alain Mbong Ekollo / Libro Tapa blanda
common.buy 38.49 €
High School Musical 3, Senior Year, 1 DVD (Extended Edition) Seth Flaum / Video DVD
common.buy 11.09 €
Slovníček základních hudebních pojmů Ludmila Vrkočová / Libro Tapa blanda
common.buy 5.79 €
Všechny cesty vedou do Říma Ivan Burkert / Libro Tapa dura
common.buy 3.49 €

This book constitutes the refereed proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003, held in Rome, Italy in September 2003.§The 24 revised full papers presented together with an invited paper were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on hardware and Assembler languages, proof automation, fool combination, logic extensions, theorem prover technology, mathematical theories, and security. Among the theorem proving systems discussed are HOL, Coq, MetaPRL, and Isabelle/Isar.

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 David Basin, Burkhart Wolff
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2003
Número de páginas 366
EAN 9783540406648
ISBN 3540406646
Código Libristo 01562897
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1190
Dimensiones 155 x 233 x 21

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
Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
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
Filosofía y religión > Filosofía
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

I Am Grateful: A BIG Gratitude Jar Project Book Roni Jacks / Libro Tapa blanda
common.buy 11.59 €
Stabilization, Safety, and Security of Distributed Systems Shlomi Dolev / Libro Tapa blanda
common.buy 119.39 €
The Magic School Bus Inside a Beehive Joanna Cole / Libro Tapa blanda
common.buy 20.59 €
Bad People Robertson / Libro Tapa dura
common.buy 21.79 €
Life and Art of Anne Eisner (1911-1967) Christie McDonald / Libro Tapa dura
common.buy 36.49 €
The Rapids Of Niagara (1876) Susan Warner / Libro Tapa blanda
common.buy 37.69 €
The Horror, the Funny, and the Weird: Short Stories Akeyla Battles / Libro Tapa blanda
common.buy 10.69 €
Popular
Vampire Knight: Memories, Vol. 3 Matsuri Hino / Libro Tapa blanda
common.buy 8.29 €
National Geographic GuideMap Touristische Karte Texas National Geographic Maps / Artículos impresos Mapa
common.buy 10.09 €
Nature of Truth and Falshood; With Some Motives to the Practice of Mutual Sincerity. a Sermon Preached Before the Queen, in St. George's Chapel at Win WILLIAM REEVES / Libro Tapa dura
common.buy 27.89 €
Independent Watchmakers Steve Huyton / Libro Tapa dura
common.buy 43.89 €
Art Book DK / Libro Tapa dura
common.buy 24.29 €
Tumors in Domestic Animals 5e Meuten / Libro Tapa dura
common.buy 245.59 €
Executive Functioning Workbook for Kids: 40 Fun Activities to Build Memory, Flexible Thinking, and Self-Control Skills at Home, in School, and Beyond GRAND SHARON / Libro Tapa blanda
common.buy 14.99 €
The Country of the Pointed Firs Sarah Orne Jewett / Libro Tapa blanda
common.buy 6.89 €
Qualitative Research: Concepts, Contexts, and Methods Muhammad Rizwan Ashraf / Libro Tapa blanda
common.buy 95.19 €
Nuevo
Tom Clancy Line of Demarcation M.P. Woodward / Libro Tapa blanda
common.buy 9.89 €
Fracture mechanics of concrete: Material characterization and testing Alberto Carpinteri / Libro Tapa blanda
common.buy 56.59 €
Popular
Berserk Volume 32 Kentaro Miura / Libro Tapa blanda
common.buy 12.89 €
Insights in Decision Making Hogarth / Libro Tapa dura
common.buy 195.49 €
Alcidamas Alcidamas / Libro Tapa blanda
common.buy 43.09 €
I Survived the Wellington Avalanche, 1910 (I Survived #22) TARSHIS LAUREN / Libro Tapa blanda
common.buy 5.79 €
Emerging Topics in Macroeconomics Ricahrd O Bailly / Libro Tapa dura
common.buy 155.19 €
Decoding Subaltern Politics James C. Scott / Libro Tapa dura
common.buy 215.89 €

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?