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 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Automated Deduction - CADE-20

20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Automated Deduction - CADE-20 Robert Nieuwenhuis
Codice Libristo: 01560923
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2005
This book constitutes the refereed proceedings of the 20th International Conference on Automated Ded... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

????? ???????? ? &quote;???? ??????????? ????????&quote; Erich von Neff / Libro elettronico Adobe ePub DRM
common.buy 1.09 €
Götterdämmerung. Der Ring des Nibelungen 4 Fabian Hinrichs / Audio CD audio
common.buy 17.49 €
Pro radost. For Joy Iva Bittová / Libro binding.
common.buy 18.79 €
Peugeot 205 od 9/83 do 2/99 Hans-Rüdiger Etzold / Libro In brossura
common.buy 27.39 €
Der Vernichtungskampf Wider Die Bauern In Mecklenburg (1864) Moritz Wiggers / Libro In brossura
common.buy 21.99 €
Glasgow lieben lernen Sarah Glenn / Libro In brossura
common.buy 8.59 €
Betriebliche Standortplanung im Rahmen von urbanen Unternehmensnetzwerken Christoph Gerdes / Libro In brossura
common.buy 26.19 €
Performance-Messung und Eigentuemerorientierung Andreas Schüler / Libro In brossura
common.buy 185.49 €
Die Illojiim Hartmut Großer / Libro In brossura
common.buy 20.49 €
Profesión mamá / Occupation Mom Irma Gallo / Libro In brossura
common.buy 17.39 €
Planungsrecht in der gerichtlichen Kontrolle. Wilfried Erbguth / Libro In brossura
common.buy 88.19 €
Dyskalkulie Silvia Pixner / Libro In brossura
common.buy 13.49 €
Augsburgischer Compendiöser Hand- Schreib- und Sack-Calender Andreas Brinhaußer / Libro In brossura
common.buy 19.59 €
Patentierbarkeit gentechnischer Veranderungen von Organismen Manuela Markweg-Hanke / Libro In brossura
common.buy 54.09 €

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005.§The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

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 Automated Deduction - CADE-20
Autore Robert Nieuwenhuis
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2005
Numero di pagine 466
EAN 9783540280057
ISBN 3540280057
Codice Libristo 01560923
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 721
Dimensioni 155 x 235 x 26

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
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

School Inspection & Self-Evaluation John MacBeath / Libro Rigido
common.buy 215.89 €
A Monograph On The Parish Of St. Lawrence, Ipswich (1888) Benjamin Page Grimsey / Libro In brossura
common.buy 21.99 €
Forgiveness and Letting Go in Emotion-Focused Therapy Catalina Woldarsky Meneses / Libro Rigido
common.buy 67.99 €
JOHANN CHRISTOPH ADELUNGS DEUTSCHE SPRAC JOHANN CHRI ADELUNG / Libro Rigido
common.buy 40.69 €
What's my name? EDDIE Tiina Walsh / Libro In brossura
common.buy 15.39 €
Rudin by Ivan Turgenev, Fiction, Classics, Literary Ivan Turgenev / Libro In brossura
common.buy 15.09 €
Modern Practice Of Civil Litigation In Nigeria Bl Maiyaki Theodore Bala Ph D / Libro Rigido
common.buy 48.49 €
New Perspectives in Service-Learning Shelley H. Billig / Libro Rigido
common.buy 124.49 €
Children of Lutetia. William Blanchard Jerrold / Libro In brossura
common.buy 25.69 €
Notes and Reflections During a Ramble in Germany. by the Author of "Recollections in the Peninsula," Etc. [I.E. M. Sherer.] Anonymous / Libro In brossura
common.buy 28.79 €
Mr. Lee's Plan, March 29, 1777 George Henry Moore / Libro In brossura
common.buy 23.89 €
Let's Talk Back Barbara Simon / Libro In brossura
common.buy 20.79 €
I migliori
God and the Multiverse Victor Stenger / Libro Rigido
common.buy 22.99 €
Innovative Comparative Methods for Policy Analysis H. Grimm / Libro Rigido
common.buy 160.89 €
Making of the Roman Army Lawrence Keppie / Libro In brossura
common.buy 63.69 €
Tao Te Ching Lao Tzu / Libro In brossura
common.buy 10.39 €
Kafka's Creatures Marc Lucht / Libro In brossura
common.buy 70.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?