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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Using Sophisticated Models in Resolution Theorem Proving

Lingua IngleseInglese
Libro In brossura
Libro Using Sophisticated Models in Resolution Theorem Proving David M. Sandford
Codice Libristo: 01557591
Casa editrice Springer, Berlin
? points 111 b
45.49 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Verdi. L'opera italiana Paolo Gallarati / Libro In brossura
common.buy 38.00 €
COMPREHENSION ECRITE 4 Reine Quinton / Libro In brossura
common.buy 22.19 €
In preparazione
Disney Lorcana: Premium Card Portfolio Pubblicazioni cartacee Carte
common.buy 28.19 €
70 Cánones: De aquí y de Allá Violeta Hemsy De Gainza / Libro In brossura
common.buy 10.69 €
111 Orte in Bonn, die man gesehen haben muss Eckhard Heck / Libro In brossura
common.buy 13.19 €
BEETHOVEN SONATE OP 13 PATHETIQUE ADAGIO CANTABILE ACCORDION BOOK BEETHOVEN Libro binding.
common.buy 9.39 €
Contes des Bektâchî Basaran / Libro In brossura
common.buy 8.39 €
Escriure i viure : 20 anys de columnes (19893-2013) Aragó Masó / Libro In brossura
common.buy 21.19 €
Mister Fix Roger Hargreaves / Libro In brossura
common.buy 5.59 €
ABC Musik (Großdruckausgabe) Wieland Ziegenrücker / Libro In brossura
common.buy 17.69 €
Aufstand in Stadt und Land Thomas Lähns / Libro In brossura
common.buy 10.99 €
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 Using Sophisticated Models in Resolution Theorem Proving
Autore David M. Sandford
Lingua Inglese
Rilegatura Libro - In brossura
Numero di pagine 242
EAN 9783540102311
ISBN 3540102310
Codice Libristo 01557591
Casa editrice Springer, Berlin
Peso 425
Dimensioni 155 x 233 x 13

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
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

Class-Book of Etymology, Designed to Promote Precision in the Use, and Facilitate the Acquisition of A Knowledge of the English Language. by James Lyn James Lynd / Libro In brossura
common.buy 26.79 €
CASES Morphology and Function: Russian grammar for beginners Viktoriia Chernetska / Libro In brossura
common.buy 42.89 €
North York Moors Brian Conduit / Libro In brossura
common.buy 11.89 €
THINK BEFORE YOU SPEAK OR THE William 1756-1836 Godwin / Libro In brossura
common.buy 12.29 €
Practical Approach to Animal Welfare Law Noel Sweeney / Libro In brossura
common.buy 31.89 €
Happiness Fantasy Carl Cederstrom / Libro Rigido
common.buy 39.09 €
A Gentle Walk Through Nature Denise L Gadreau / Libro In brossura
common.buy 12.49 €
Unsold Television Pilots Lee Goldberg / Libro In brossura
common.buy 28.19 €
Developing Human Brain - Growth and Adversities Floyd H. Gilles / Libro Rigido
common.buy 152.39 €
Aviator's Guide to Florida Udo Leinhauser / Libro In brossura
common.buy 31.19 €
Lonely Hearts Lilliana Rose / Libro In brossura
common.buy 10.99 €
Maid of Honor Peony Lane Publishing / Libro In brossura
common.buy 6.99 €
Normality and Pathology in Childhood Anna Freud / Libro Rigido
common.buy 143.69 €
Emotional Intelligence for Leadership: 4 Week Booster Plan to Increase Your Self-Awareness, Assertiveness and Your Ability to Manage People Jonatan Slane / Libro In brossura
common.buy 20.09 €
Letters on the Most Important Subjects, During a Correspondence of Twenty Years (1846) William Romaine / Libro Rigido
common.buy 44.59 €
The King of Diamonds Simon Tolkien / Libro In brossura
common.buy 15.09 €
Theories of Plates and Shells Reinhold Kienzler / Libro Rigido
common.buy 150.09 €
The Art of Collecting R. J. Cassell / Libro Rigido
common.buy 28.29 €
CompTIA A+ CertMike: Prepare. Practice. Pass the Test! Get Certified! Mike Chapple / Libro elettronico Adobe ePub DRM
common.buy 43.49 €
The Architecture of Xrange: Inspired by Constraints Aaron Betsky / Libro Rigido
common.buy 44.99 €
Judaistic Christianity Fenton John Anthony Hort / Libro In brossura
common.buy 29.59 €
Paternalism, Conflict, and Coproduction Lawrence Susskind / Libro In brossura
common.buy 136.09 €
Michal Kalecki in the 21st Century J. Toporowski / Libro Rigido
common.buy 115.29 €
Teaching Assistant's Guide to Managing Behaviour Jill Morgan / Libro In brossura
common.buy 23.19 €

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?