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-21

21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Automated Deduction - CADE-21 Frank Pfenning
Codice Libristo: 01568871
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2007
A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field o... 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

Estudo da degradacao ambiental provocada pelas acoes socioespaciais José Gustavo da Silva Melo / Libro In brossura
common.buy 37.29 €
MORTEL.LES RIVARD ALICE Libro binding.
common.buy 32.39 €
CANCION GRIS MANILLA / Libro Libro
common.buy 7.89 €
ВКЛЮЧЕНИЕ КОММА GC JAIN / Libro In brossura
common.buy 23.29 €
200%VISUEL TABLETTES ANDROID GENEVRAY J / Libro In brossura
common.buy 26.09 €
Pourquoi la Science n'aime pas les femmes Flex / Libro In brossura
common.buy 22.29 €
Hiob Joseph Roth / Libro In brossura
common.buy 10.49 €
Fusionskontrolle im Medienbereich. Ekkehard Spieler / Libro In brossura
common.buy 58.99 €
Modern Keyboard, Beiheft 1-2 Günter Loy / Libro Foglio
common.buy 12.39 €
On the Generalized: A Buddhist View of the Analects 莲龙居士 / Libro In brossura
common.buy 12.79 €
Die Kündigung des Arbeitsverhältnisses wegen Sicherheitsbedenken. Uwe Meyer / Libro In brossura
common.buy 68.79 €
Expressionismus und Georg Heyms "Der Gott der Stadt als beispielhafte, literarische Produktion Florian Meier / Libro In brossura
common.buy 16.89 €
Preussische Adel bis 1918 Thomas Hallmann / Libro In brossura
common.buy 17.89 €
Anni und der Weihnachtsmann Reinhard Heinrich / Libro Rigido
common.buy 18.79 €
Die Geschichte Des Tom Jones, Teil 2 Henry Fielding / Libro In brossura
common.buy 12.29 €
Jana Eyrová Charlotte Brontëová / Libro Rigido
common.buy 11.59 €
Der Tod Abels Salomon Geßner / Libro Rigido
common.buy 23.39 €
Drehbuchschreiben und Geschichtenerzählen Jean-Claude Carri / Libro In brossura
common.buy 27.99 €

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 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-21
Autore Frank Pfenning
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2007
Numero di pagine 524
EAN 9783540735946
ISBN 3540735941
Codice Libristo 01568871
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 813
Dimensioni 155 x 235 x 29

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

Mobile Human-Computer Interaction - Mobile HCI 2004 Stephen Brewster / Libro In brossura
common.buy 107.29 €
Magnitude and Delay Approximation of 1-D and 2-D Digital Filters Belle A. Shenoi / Libro In brossura
common.buy 53.79 €
REINCARNATION OF SHALEENA MCBA Dessie Mae / Libro In brossura
common.buy 8.89 €
Groupthink Versus High-Quality Decision Making in International Relations Scott Crichlow / Libro Rigido
common.buy 164.39 €
Invitation to Modern Number Theory Steven J. Miller / Libro Rigido
common.buy 130.09 €
On Literature, Culture, and Religion Irving Babbitt / Libro In brossura
common.buy 75.49 €
Cyanobacterial Toxins of Drinking Water Supplies Ian Robert Falconer / Libro Rigido
common.buy 339.79 €
Dissertation by Way of Inquiry Into the True Import and Application of the Vision Related Dan IX Ver20 to the End, Usually Called Daniel's Prophecy of Benjamin Blayney / Libro In brossura
common.buy 19.89 €
Dramatic Action in Greek Tragedy and Noh Mae J. Smethurst / Libro In brossura
common.buy 60.49 €
What He's Poised to Do Ben Greenman / Libro In brossura
common.buy 12.89 €
Moving Pixels Peter Weishar / Libro Rigido
common.buy 49.79 €
Bible Walkthrough - 18 - Joshua to Ruth Cliff Taylor / Libro In brossura
common.buy 7.99 €
The Great IRS Hoax, Volume 6, Form #11.302 Family Guardian Fellowship / Libro In brossura
common.buy 57.49 €
Second Rebel Lewis / Libro Rigido
common.buy 21.99 €
Astronomy For Dummies, 5th Edition (+ Chapter Quiz zes Online) Richard T. Fienberg / Libro In brossura
common.buy 19.89 €
Introduction to C Programming Language M. Jhansi / Libro In brossura
common.buy 56.79 €
Beautiful World Coloring Book Car Pintos / Libro In brossura
common.buy 16.49 €
A Surprise for Willow Bea Jackson / Libro In brossura
common.buy 6.59 €
When Kids Can't Read-What Teachers Can Do Kylene Beers / Audiolibro MP3
common.buy 26.29 €
Granny Fixit and the Ball JANE CADWALLADER / Libro In brossura
common.buy 6.29 €
Paradise Lost and the Rhetoric of Literary Forms Barbara Kiefer Lewalski / Libro Rigido
common.buy 201.49 €
Oxford Activity Books for Children: Book 6 Christopher Clark / Libro In brossura
common.buy 25.99 €
Lily Vanilli's Sweet Tooth Lily Jones / Libro Rigido
common.buy 31.19 €
Heterogeneous Electrode Processes and Localized Corrosion Yongjun Mike Tan / Libro Rigido
common.buy 147.89 €

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?