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

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Automated Deduction - CADE-19 Franz Baader
Codice Libristo: 01562844
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2003
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, hel... 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

Videnia 1: Život Preblahoslavenej Panny Márie Anna Katarína Emmerichová / Libro Rigido
common.buy 24.19 €
brava veterinaria. Facciamo che ero Donata Quagliotti / Libro Rigido
common.buy 21.39 €
A Era da Libertaç?o na LIGAO & O Rescaldo da Segunda Guerra Mundial 1944-1945 Marilou D. Tino / Libro In brossura
common.buy 40.99 €
Obesit? e riserva ovarica Manal Mohammed Ali / Libro In brossura
common.buy 37.29 €
CAMINAR SOBRE HIELO (+12 AÑOS) (ERIZONTE) VALLS / Libro In brossura
common.buy 16.49 €
Niño GARCIA MAÑA / Libro In brossura
common.buy 16.59 €
Einmal mit Alles Daniel Esswein / Libro Rigido
common.buy 39.69 €
Ján Ondruš Básnické dielo Ján Ondruš / Libro In brossura
common.buy 11.49 €
Dřevěné kostky Zvířátka 2 kostky / Gioco/giocattolo Giocattolo
common.buy 5.79 €
LOS MEJORES DESTINOS DEL ROMÁNICO EN ESPAÑA JAIME COBREROS / Libro Rigido
common.buy 22.39 €
Daltonismo-¿de qué color lo ves? Violeta Crespo / Libro In brossura
common.buy 13.79 €
Der Murks mit der Milch Max O. Bruker / Libro In brossura
common.buy 16.79 €
In preparazione
Lehrbuch Dieter Blohm / Libro Rigido
common.buy 57.59 €
Norm, Person, Gesellschaft. Günther Jakobs / Libro In brossura
common.buy 29.59 €
Die uneheliche Mutterschaft im altösterreichischen Polizeirecht des 16. bis 18. Jahrhunderts, dargestellt am Tatbestand der Fornication. Egon Conrad Ellrichshausen / Libro In brossura
common.buy 49.19 €
Česko-slovenské vztahy 10 let po rozpadu federace Peter Kolesár / Libro binding.
common.buy 3.79 €
Dárkové krabičky ve tvaru hvězdy 6 kusů / Articoli di cancelleria Articoli di cancelleria
common.buy 7.59 €

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003.§The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and 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-19
Autore Franz Baader
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2003
Numero di pagine 512
EAN 9783540405597
ISBN 3540405593
Codice Libristo 01562844
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1600
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 > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
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

Intelligent Strategies for Meta Multiple Criteria Decision Making Thomas Hanne / Libro In brossura
common.buy 107.29 €
Teaching Ministry of the Church James D. Smart / Libro In brossura
common.buy 30.49 €
Glorious Boy Aimee Liu / Libro In brossura
common.buy 16.99 €
Ghost Sonata Gary Reed / Libro In brossura
common.buy 11.19 €
Night of the Cat Richard Waltner / Libro In brossura
common.buy 21.09 €
Church Reform Movement at Rome Charles R Conybeare / Libro In brossura
common.buy 12.29 €
Brave Men and Women Osgood E Fuller / Libro In brossura
common.buy 9.79 €
The Art of Simpling: An Introduction to the Knowledge and Gathering of Plants William Coles / Libro In brossura
common.buy 26.89 €
THE ELEMENTS OF MENTAL AND MORAL SCIENCE WILLIAM CH COUPLAND / Libro Rigido
common.buy 33.69 €
Liberty Day October 12, 1918. Suggestions for Community Celebrations Henry Ezekiel Jackson / Libro Rigido
common.buy 27.89 €
Technical Study of the Maintenance and Fattening of Lambs and Their Utilization of a Ration of Alfalfa Hay and Corn H H 1886-1966 Mitchell / Libro Rigido
common.buy 27.89 €
Vigilante Witch Hunter Gary Turcotte / Libro In brossura
common.buy 22.99 €
History of Cherry Valley. from 1740 to 1898. John Sawyer / Libro In brossura
common.buy 18.69 €
Tree Tops Jim Corbett / Libro In brossura
common.buy 5.09 €
Art of Frozen Charles Solomon / Libro Rigido
common.buy 33.59 €
DNA Methylation, Epigenetics and Metastasis M. Esteller / Libro Rigido
common.buy 224.09 €
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating. Vol.1 A.T. Fomenko / Libro Rigido
common.buy 107.29 €
Comic Books as History Joseph Witek / Libro In brossura
common.buy 40.49 €
Norfolk W A Dutt / Libro In brossura
common.buy 29.19 €
Functional Foods and Nutraceuticals Aluko / Libro Rigido
common.buy 89.39 €
Iki and The Ocean Protectors Martha Johnston / Libro Rigido
common.buy 25.99 €
Realizing Beloved Community Allen K. Shin / Libro elettronico Adobe ePub DRM
common.buy 33.59 €

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?