«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.

Higher Order Logic Theorem Proving and Its Applications

8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Higher Order Logic Theorem Proving and Its Applications E. Th. Schubert
Código Libristo: 01566006
Editores Springer, Berlin, noviembre 1994
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theo... Descripción completa
? points 125 b
51.09 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Filosofía de Richard Rorty Pilar Salvá Soria / Libro Tapa blanda
common.buy 35.29 €
Wissenschaftstheorie der Soziologie Gerhard Wagner / Libro Tapa blanda
common.buy 26.19 €
Nahrungsnetze im Schweizerischen Nationalpark Anita C. Risch / Libro Tapa blanda
common.buy 47.29 €
Die Formstoffee Der Eisen Und Stahlgiesserei Ihr Wesen, Ihre Prufung Und Aufbereitung (1920) Carl Irresberger / Libro Tapa blanda
common.buy 29.89 €
Évaluation et didactique Bart Daniel Bart / Libro electrónico Adobe ePub DRM
common.buy 47.99 €
Gesunde Menschen, Lebensfragen, Kranke Menschen, Lehr- und Fastenbrief, Verjüngung auf natürlichem Wege, Lebensfragen und andere Originaltexte Arnold Ehret / Libro Tapa dura
common.buy 15.99 €
Bumblebee - Ausgabe 2013 für das 3. / 4. Schuljahr Gisela Ehlers / Libro Hoja
common.buy 16.79 €

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

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 Higher Order Logic Theorem Proving and Its Applications
Autor E. Th. Schubert, Phillip J. Windley, James Alves-Foss
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1995
Número de páginas 408
EAN 9783540602750
ISBN 3540602755
Código Libristo 01566006
Editores Springer, Berlin
Peso 547
Dimensiones 156 x 234 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
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Inteligencia artificial > Aprendizaje automático («Machine learning»)
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 > Análisis y diseño de sistemas
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
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

Fuels Programs Registration User Guide Version 2.0 U S Environmental Protection Agency / Libro Tapa blanda
common.buy 19.19 €
The Kiss Bet, Vol. 3 OCHOA INGRID / Libro Tapa blanda
common.buy 15.79 €
Popular
Dark and Drowning Tide Saft Allison / Libro Tapa blanda
common.buy 11.59 €
Popular
Mastering Graphics Programming with Vulkan: Develop a modern rendering engine from first principles to state-of-the-art techniques Gabriel Sassone / Libro Tapa blanda
common.buy 47.49 €
Decision Making in Emergency Medicine Manda Raz / Libro Tapa blanda
common.buy 99.59 €
Introduction to World Religions Darryl E. Howard / Libro Tapa dura
common.buy 294.09 €
Staff Cars in Germany WW2 Vol. 2 Ranger / Libro Tapa blanda
common.buy 21.79 €
Data Science with Julia Paul D McNicholas / Libro Tapa blanda
common.buy 93.19 €
Triple Ken Follett / Libro Tapa blanda
common.buy 14.99 €
Passover Family Monique Polak / Libro Libro de concertinas
common.buy 9.59 €
Experiencing Spiritual Encouragement: Devotional Thoughts from the Word Ann Varnum / Libro Tapa blanda
common.buy 13.49 €
Morphological diversity, nutritional quality and value addition of jackfruit (Artocarpus heterophyllus) in Kerala Jiby John Mathew / Libro Tapa blanda
common.buy 52.19 €
Church Missionary Intelligencer and Record Seeley Jackson & Halliday Publishing / Libro Tapa dura
common.buy 47.49 €
Richard Scarry's Please and Thank You Book Richard Scarry / Libro Tapa blanda
common.buy 5.79 €
Oogenesis - The Universal Process Verlhac / Libro Tapa dura
common.buy 167.69 €
Anatomy of Fraud and Corruption Veronica Morino / Libro Tapa dura
common.buy 253.59 €
Corals of Australia and the Indo-Pacific J.E.N. Veron / Libro Tapa dura
common.buy 87.29 €
Integrating EU Migration Policy into the European Neighbourhood Policy Katerina Stancova / Libro Tapa blanda
common.buy 52.99 €
Letters Describing a Tour Through Part of South Wales. by a Pedestrian Traveller. with Views, Designed and Etched by the Author. Armand-Louis Bon Maudet / Libro Tapa blanda
common.buy 20.79 €
Edina. a Novel. Henry Wood / Libro Tapa blanda
common.buy 29.49 €
Moment With Kel Kelvin L. Hicks / Libro Tapa blanda
common.buy 11.69 €

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?