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

Isabelle

A Generic Theorem Prover

Idioma InglésInglés
Libro Tapa blanda
Libro Isabelle Lawrence C. Paulson
Código Libristo: 02780943
Editores Springer, Berlin, noviembre 1993
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... 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

En el suelo hay poesía : camino al verso Jose Luis Álvarez Velez / Libro Tapa blanda
common.buy 14.09 €
Where Hummingbirds Come From Bilingual Amharic English Adele Marie Crouch / Libro Tapa blanda
common.buy 15.39 €
Ce monstre aux yeux verts Villemot / Libro Tapa blanda
common.buy 14.39 €
#VivreAuVingtEtUnièmeSiècle Kosma Libro Tapa blanda
common.buy 19.59 €
WWE: Hell in a Call 2022, 2 DVDs, 2 DVD-Video / Video DVD
common.buy 23.89 €
Tres Cuentos Nikolai Gógol / Libro Tapa blanda
common.buy 20.39 €
Sherlock Holmes - Sammelbox, 3 DVD Henri Safran / Video DVD
common.buy 27.29 €
Le sculture di Monteoliveto. Una storia di Rinascimento a Napoli Riccardo Naldi / Libro Tapa blanda
common.buy 28.49 €
Los Profetas Menores: Oseas, Joel, Amos. Abdias, Jonas, Miqueas, Nahum, Habacuc, Sofonias, Hageo, Zacarias, Malaquias. Esther Gonzalez / Libro Tapa blanda
common.buy 13.59 €
Feuersturm Alfred Lambeck / Libro Tapa blanda
common.buy 14.89 €
PONS Rechtschreibung und Zeichensetzung auf einen Blick Deutsch / Artículos impresos Mapa
common.buy 8.49 €
Desafio de Humanizar El Trabajo Grether Lucía Real Pérez / Libro Tapa blanda
common.buy 58.09 €
Handlungsunrecht der Steuerhinterziehung Alexander Hoff / Libro Tapa blanda
common.buy 58.09 €
Odvaha za úsvitu Helen Lawsonová / Libro Tapa blanda
common.buy 1.09 €
Lehrbuch Der Gesamten Chemie Friedrich L. Breusch / Libro Tapa blanda
common.buy 34.39 €
Minus Drei und der Zahlensalat Ute Krause / Libro Tapa dura
common.buy 9.79 €
Innovationsfinanzierung durch Venture Capital Arno Nonnen / Libro Tapa blanda
common.buy 37.49 €
Geschichtspolitik in Der "berliner Republik" Manuel Becker / Libro Tapa blanda
common.buy 73.99 €
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter / Libro Tapa blanda
common.buy 51.79 €
Špaky v tŕní Zuzana Cigánová / Libro Tapa dura
common.buy 5.59 €
Nevěrná Vladimír Kavčiak / Libro Tapa dura
common.buy 7.99 €

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.

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 Isabelle
Autor Lawrence C. Paulson, Tobias Nipkow
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1994
Número de páginas 329
EAN 9783540582441
ISBN 3540582444
Código Libristo 02780943
Editores Springer, Berlin
Peso 535
Dimensiones 156 x 234 x 18

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

Modeling by Object-Driven Linear Elemental Relations H.J. Greenberg / Libro Tapa blanda
common.buy 169.09 €
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) Ehud Hrushovski / Libro Tapa blanda
common.buy 117.29 €
Einstein's Unfinished Revolution Lee Smolin / Libro Tapa blanda
common.buy 13.89 €
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith W. M. Darlington / Libro Tapa blanda
common.buy 26.29 €
Managing Service Productivity Ali Emrouznejad / Libro Tapa dura
common.buy 169.09 €
Protection of Electronic Circuits R Standler / Libro Tapa blanda
common.buy 23.49 €
Popular
Millions Frank Cottrell Boyce / Libro Tapa blanda
common.buy 12.49 €
Healing Code Alexander Loyd / Libro Tapa blanda
common.buy 16.29 €
Writer's Task from Nietzsche to Brecht Hans Reiss / Libro Tapa blanda
common.buy 60.39 €
Natural Hazard Mitigation Policy Daniel J. Alesch / Libro Tapa blanda
common.buy 112.79 €
Primary Bone Tumors and Tumorous Conditions in Children Claus-Peter Adler / Libro Tapa blanda
common.buy 112.79 €
Art of War (Illustrated Edition) Sun Tzu / Libro Tapa blanda
common.buy 15.09 €
Modelling Methodology for Physiology and Medicine Ewart Carson / Libro Tapa dura
common.buy 131.79 €
Razor's Edge G Michael Hopf / Libro Tapa blanda
common.buy 16.39 €
Appeasement in International Politics StephenR Rock / Libro Tapa dura
common.buy 40.79 €
Alice's Adventures in Wonderland colouring book John Tenniel / Libro Tapa blanda
common.buy 14.99 €
Love Trances Craig Rovinsky / Libro Tapa dura
common.buy 31.29 €
Industrial Resources Of Wisconsin (1853) John Gregory / Libro Tapa blanda
common.buy 33.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?