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

14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997. Proceedings.

Lingua IngleseInglese
Libro In brossura
Libro Automated Deduction - CADE-14 William McCune
Codice Libristo: 01566388
Casa editrice Springer, Berlin, novembre 1996
This book constitutes the strictly refereed proceedings of the 14th International Conference on Auto... 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

Chaines de Markov sur les Permutations J.-E. Dies / Libro In brossura
common.buy 40.99 €
Road House Rowdy Herrington / Video DVD
common.buy 13.89 €
Sladké mandaly - Omalovánky pro dospělé / Libro In brossura
common.buy 3.69 €
La Decimocuarta ENRIQUE ORTEGO / Libro In brossura
common.buy 23.19 €
Jak neztratit rozum v nerozumné době Petr Nutil / Libro In brossura
common.buy 11.79 €
Englisch für die Berufsreifeprüfung - Hauptmodul Forms and Structures, Workbook Lösungsheft Gabriele Raab / Libro In brossura
common.buy 10.49 €
People-Shooting Haasz Christian / Libro Rigido
common.buy 18.79 €
Hameau Willia Faulkner / Libro In brossura
common.buy 15.59 €
Gold Advanced Coursebook Sally Burgess / Libro In brossura
common.buy 42.59 €
Gold Advanced Coursebook with Advanced MyLab Pack GOLD / Libro Rigido
common.buy 67.39 €

This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997.The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.

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-14
Autore William McCune
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1997
Numero di pagine 469
EAN 9783540631040
ISBN 3540631046
Codice Libristo 01566388
Casa editrice Springer, Berlin
Peso 632
Dimensioni 156 x 234 x 24

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi
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

Global Theory of Dynamical Systems Z. Nitecki / Libro In brossura
common.buy 68.89 €
I migliori
World of Warcraft: The Shattering Christie Golden / Libro In brossura
common.buy 9.59 €
Origins of People-to-People Diplomacy, U.S. and Russia, 1917-1957 McFadden / Libro Rigido
common.buy 79.79 €
Victim Slayer Latoya Roberts / Libro In brossura
common.buy 17.69 €
Narrative of an Expedition Across the Great South-Western Prairies, from Texas to Sante F: With an Account of the Disasters Which Befel [Sic] the Expe Geo Wilkins Kendall / Libro In brossura
common.buy 29.49 €
Modernism as Memory Kathleen James-Chakraborty / Libro In brossura
common.buy 40.69 €
Moshi Moshi Banana Yoshimoto / Libro In brossura
common.buy 14.29 €
Formalisation of SysML Models and Analysis based on Refinement Lucas Lima / Libro In brossura
common.buy 74.39 €
Pick and Pack's Adventure Gaye Lynn Trusty / Libro In brossura
common.buy 14.89 €
Ohio Medical and Surgical Journal, Volume 6 James Henry Pooley / Libro Rigido
common.buy 41.59 €
Best of Quinoa Rena Patten / Libro Rigido
common.buy 28.19 €
Fluid Iron Tony Day / Libro In brossura
common.buy 40.49 €
Capital Accumulation and Women's Labour in Asian Economies Peter Custers / Libro In brossura
common.buy 30.89 €
I Think I Am a Verb Thomas A. Sebeok / Libro In brossura
common.buy 107.29 €
Analysis and Application of Dynamic Patterns within the Context of Complaint Management Martina Müller / Libro In brossura
common.buy 40.09 €
Introduction to Applied Bayesian Statistics and Estimation for Social Scientists Scott M. Lynch / Libro In brossura
common.buy 126.09 €
Clinical and Educational Child Psychology - An Ecological-Transactional Approach to Child Problems and Interventions Linda Wilmshurst / Libro In brossura
common.buy 58.99 €
Innovation Policies, Business Creation and Economic Development Neslihan Aydogan / Libro Rigido
common.buy 173.59 €
Play and Playwork: 101 Stories of Children Playing Fraser Brown / Libro In brossura
common.buy 39.49 €
Young Men, Time, and Boredom in the Republic of Georgia Martin Frederiksen / Libro Rigido
common.buy 84.49 €
Anthropology and the Bushman Alan Barnard / Libro In brossura
common.buy 50.89 €
Acidic Pit Lakes Walter Geller / Libro Rigido
common.buy 160.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?