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

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Idioma InglésInglés
Libro Tapa blanda
Libro Computational Logic and Set Theory Eugenio G Omodeo
Código Libristo: 09060410
Editores Springer London Ltd, septiembre 2014
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and... Descripción completa
? points 136 b
55.49 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Zahnärztliche Implantologie Soniya Gurjar / Libro Tapa blanda
common.buy 43.29 €
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Libro binding.
common.buy 75.29 €
società segreta delle Bambine Ribelli. La lettera di Cleopatra Marti Dumas / Libro Tapa dura
common.buy 20.29 €
250 Jahre Stammbuchgeschichte. Inskriptionen und Bildschmuck Gerhard Seibold / Libro Tapa dura
common.buy 330.89 €
Henosis Eric Schaefer / Audio CD de audio
common.buy 10.69 €
Tratado de Psiquiatr­a. Tomo I R2003 GELDER / Libro Libro
common.buy 177.99 €
Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay / Libro Tapa blanda
common.buy 15.39 €
Ratgeber Arbeitszeugnis Michael Mohr / Libro Tapa blanda
common.buy 10.09 €
Solitéry Vasilij Vasilievič Rozanov / Libro Tapa blanda
common.buy 5.59 €
GoGo Kluk z internetu Štrauch Daniel GoGo / Libro Tapa blanda
common.buy 8.89 €
Skepse, a.s. Bo Fowler / Libro Tapa dura
common.buy 8.99 €
Dark World 1 & 2, 2 DVDs Aleksand Dorbinian / Video DVD
common.buy 24.99 €
Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim / Libro Tapa blanda
common.buy 49.19 €
Edén Stanislaw Lem / Libro Tapa blanda
common.buy 17.49 €
Solunum Sistemi Joseph Midthun / Libro Tapa blanda
common.buy 14.39 €
Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky / Libro Tapa dura
common.buy 72.49 €
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag / Libro Hoja
common.buy 8.09 €
Popular
Klíčem je klid Ryan Holiday / Libro Tapa dura
common.buy 12.29 €
... wenn ihr die schöne Nachbarin gefällt Sina Kani / Libro Tapa blanda
common.buy 16.99 €
Piranhas Saviano / Libro Tapa blanda
common.buy 13.39 €
La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud / Libro Tapa blanda
common.buy 25.09 €
Le jour du slip, je porte la culotte Percin / Libro Tapa blanda
common.buy 10.59 €
Georges Franju - Une esthétique de la destabilisation Gérard Leblanc / Libro Tapa blanda
common.buy 19.69 €

This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs.

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 Computational Logic and Set Theory
Autor Eugenio G Omodeo
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 416
EAN 9781447160182
ISBN 9781447160182
Código Libristo 09060410
Editores Springer London Ltd
Peso 659
Dimensiones 155 x 23 x 24

Categorías

Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Diseño de interfaces de usuario y usabilidad
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
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

Engineering Theories of Software Intensive Systems Manfred Broy / Libro Tapa dura
common.buy 234.19 €
Handbook of Separation Process Technology Ronald W. Rousseau / Libro Tapa dura
common.buy 580.99 €
International Trade Finance Tarsem Bhogal / Libro electrónico Adobe ePub DRM
common.buy 70.89 €
ACT for Dividing and Inclosing the Common Fields, and Common Pasture, Common Meadow, Common Grounds and Waste Grounds in the Manor and Lordship of Car MULTIPLE CONTRIBUTOR / Libro Tapa dura
common.buy 27.89 €
Malware Data Science Joshua Saxe / Libro Tapa blanda
common.buy 58.49 €
CAESAR BORGIA: AN HISTORICAL ROMANCE EMMA ROBINSON / Libro Tapa dura
common.buy 40.69 €
How much do yo know about... Frontenis Wanceulen Notebook / Libro Tapa blanda
common.buy 11.39 €
More Vintage Christmas Angels: A Grayscale Adult Coloring Book Vicki Becker / Libro Tapa blanda
common.buy 8.89 €
Bride of Lammermoor Sir Walter Scott / Libro Tapa blanda
common.buy 9.59 €
The U.S. - India Relationships: Cross-Sector Collaboration to Promote Sustainable Development U S Army War College Press / Libro Tapa blanda
common.buy 22.79 €
Puglia William Dello Russo / Libro Tapa blanda
common.buy 21.79 €
Maker of Pedigrees Markus Friedrich / Libro Tapa dura
common.buy 67.79 €
Evidence-Based Skills in Criminal Justice Pamela Ugwudike / Libro Tapa dura
common.buy 122.99 €
Happy New Year, Sleepover Club! Fiona Cummings / Libro Tapa blanda
common.buy 6.19 €
Popular
Soviet Playgrounds Zupagrafika / Libro Tapa dura
common.buy 26.69 €
Target Grade 9 Reading AQA GCSE (9-1) English Language Workbook / Libro Tapa blanda
common.buy 12.89 €
Younger Sara Gottfried / Libro Tapa blanda
common.buy 22.89 €
REPORT OF THE SUPERINTENDING S Keene (N H. ). / Libro Tapa blanda
common.buy 21.99 €
Political History of Secession to the Beginning of the American Civil War Daniel Wait Howe / Libro Tapa blanda
common.buy 32.79 €
Is Justice Real When “Reality” is Not? Katherine Forrest / Libro Tapa blanda
common.buy 162.29 €
Popular
Full Stack Recruiter Jan Tegze / Libro Tapa blanda
common.buy 31.29 €
Sin ELENA M. REYES / Libro Tapa blanda
common.buy 16.39 €
Summer of the Ancient Jodi Lea Stewart / Libro Tapa blanda
common.buy 17.09 €
Does Your Community Need Planning?: the Organization and Functions of a Planning and Zoning Commission; No. 103C Maryland State Planning Dept / Libro Tapa blanda
common.buy 15.09 €

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