Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Lingua IngleseInglese
Libro In brossura
Libro Computational Logic and Set Theory Eugenio G Omodeo
Codice Libristo: 09060410
Casa editrice Springer London Ltd, settembre 2014
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and... Descrizione completa
? points 141 b
57.79 €
Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Zahnärztliche Implantologie Soniya Gurjar / Libro In brossura
common.buy 46.69 €
La Biodiversite Faunistique Des Dunes Littorales Rachidi-F / Libro In brossura
common.buy 42.29 €
Solunum Sistemi Joseph Midthun / Libro In brossura
common.buy 13.69 €
Edén Stanislaw Lem / Libro In brossura
common.buy 18.09 €
Skepse, a.s. Bo Fowler / Libro Rigido
common.buy 1.09 €
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Libro binding.
common.buy 77.49 €
GoGo Kluk z internetu Štrauch Daniel GoGo / Libro In brossura
common.buy 7.59 €
società segreta delle Bambine Ribelli. La lettera di Cleopatra Marti Dumas / Libro Rigido
common.buy 20.19 €
Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay / Libro In brossura
common.buy 16.19 €
Solitéry Vasilij Vasilievič Rozanov / Libro In brossura
common.buy 5.39 €
Dark World 1 & 2, 2 DVDs Aleksand Dorbinian / Video DVD
common.buy 23.89 €
Tratado de Psiquiatr­a. Tomo I R2003 GELDER / Libro Libro
common.buy 182.49 €
Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky / Libro Rigido
common.buy 77.39 €
Georges Franju - Une esthétique de la destabilisation Gérard Leblanc / Libro In brossura
common.buy 20.59 €
La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud / Libro In brossura
common.buy 26.09 €
Piranhas Saviano / Libro In brossura
common.buy 14.09 €
... wenn ihr die schöne Nachbarin gefällt Sina Kani / Libro In brossura
common.buy 16.89 €
Henosis Eric Schaefer / Audio CD audio
common.buy 10.29 €
I migliori
Klíčem je klid Ryan Holiday / Libro Rigido
common.buy 12.99 €
Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim / Libro In brossura
common.buy 52.89 €
Schnauze, die Nikoläuse sind los Annette Swoboda / Libro In brossura
common.buy 7.69 €
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag / Libro Foglio
common.buy 9.39 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Computational Logic and Set Theory
Autore Eugenio G Omodeo
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2014
Numero di pagine 416
EAN 9781447160182
ISBN 9781447160182
Codice Libristo 09060410
Casa editrice Springer London Ltd
Peso 659
Dimensioni 155 x 23 x 24

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Engineering Theories of Software Intensive Systems Manfred Broy / Libro Rigido
common.buy 223.99 €
Handbook of Separation Process Technology Ronald W. Rousseau / Libro Rigido
common.buy 569.69 €
More Vintage Christmas Angels: A Grayscale Adult Coloring Book Vicki Becker / Libro In brossura
common.buy 8.89 €
Japanese Democracy and Lessons for the United States Ray Christensen / Libro Rigido
common.buy 188.19 €
Optimization Models and Methods for Equilibrium Traffic Assignment Alexander Krylatov / Libro Rigido
common.buy 201.79 €
Grace Abounding to the Chief of Sinners John Bunyan / Libro In brossura
common.buy 16.09 €
I migliori
Rising Of The Shield Hero Volume 09: The Manga Companion Aneko Yusagi / Libro In brossura
common.buy 10.79 €
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 Rigido
common.buy 27.89 €
Malware Data Science Joshua Saxe / Libro In brossura
common.buy 44.69 €
How much do yo know about... Frontenis Wanceulen Notebook / Libro In brossura
common.buy 11.39 €
Bride of Lammermoor Sir Walter Scott / Libro In brossura
common.buy 9.59 €
The U.S. - India Relationships: Cross-Sector Collaboration to Promote Sustainable Development U S Army War College Press / Libro In brossura
common.buy 22.79 €
Evidence-Based Skills in Criminal Justice Pamela Ugwudike / Libro Rigido
common.buy 120.99 €
Target Grade 9 Reading AQA GCSE (9-1) English Language Workbook / Libro In brossura
common.buy 12.69 €
REPORT OF THE SUPERINTENDING S Keene (N H. ). / Libro In brossura
common.buy 21.99 €
Coach for a Nation: The Life and Times of Knute Rockne Jim Lefebvre / Libro In brossura
common.buy 19.29 €
Summer of the Ancient Jodi Lea Stewart / Libro In brossura
common.buy 17.09 €
In preparazione
Markets in Crypto-Assets Regulation (MiCAR) Philipp Maume / Libro Rigido
common.buy 276.09 €
Manly P. Hall All Seeing Eye Manly P. Hall / Libro Rigido
common.buy 20.49 €
Is Justice Real When “Reality” is Not? Katherine Forrest / Libro In brossura
common.buy 162.29 €
Political History of Secession to the Beginning of the American Civil War Daniel Wait Howe / Libro In brossura
common.buy 32.79 €
I migliori
Soviet Playgrounds Zupagrafika / Libro Rigido
common.buy 31.99 €
International Trade Finance Tarsem Bhogal / Libro elettronico Adobe ePub DRM
common.buy 69.19 €
Maker of Pedigrees Markus Friedrich / Libro Rigido
common.buy 64.99 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?