[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Frontiers of Combining Systems

Lingua IngleseInglese
Libro In brossura
Libro Frontiers of Combining Systems Alessandro Armando
Codice Libristo: 01564181
Casa editrice Springer, Berlin, novembre 2001
This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of C... Descrizione completa
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

IN PREPARAZIONE
Wanted Man Lee Child / In brossura
common.buy 10.69 €
Works & Correspondence of David Ricardo, Volume 01 Piero Sraffa / In brossura
common.buy 17.33 €
Modernisierung Kommunaler Sozialpolitik Stephan Grohs / In brossura
common.buy 53.40 €
Die Alterssicherung sozialer Gruppen in der Bundesrepublik Deutschland Hans Pentenrieder / In brossura
common.buy 48.27 €
Die vier Einsichten Alberto Villoldo / In brossura
common.buy 13.48 €
Gidersen Veda Etme Ahmed Günbay Yildiz / In brossura
common.buy 16.15 €
Beyond Pippi Longstocking Bettina Kümmerling-Meibauer / In brossura
common.buy 82.95 €
6th International Symposium on Intensive Care and Emergency Medicine J-L. Vincent / In brossura
common.buy 143.32 €
Dinosaurs in Disguise Jeanne Willis / In brossura
common.buy 12.51 €
Geistliche HALTESTELLEN im Kirchenjahr Windbichler Ernst / In brossura
common.buy 20.86 €
Cómo tener una vida plena Dale Carnegie / In brossura
common.buy 24.29 €
Design and Implementation of Low-Power CMOS Radio Receivers Derek Shaeffer / Rigido
common.buy 143.32 €
Homage of Eminent Persons to the Book ... Comp. by Samuel W. Bailey ... Samuel W Bailey / In brossura
common.buy 25.68 €
Routledge Handbook of Energy Security / Rigido
common.buy 380.96 €
Princesas DISNEY / Rigido
common.buy 17.87 €
IN PREPARAZIONE
Maya Makes A Mess Rutu Modan / Rigido
common.buy 14.12 €

This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of Combining Systems, FroCoS 2002, held in Santa Margherita Ligure, Italy, in April 2002.The 14 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 35 submissions. Among the topics covered are combination of logics, combination of constraint solving techniques, combination of decision procedures, combination problems in verification, modular problems of theorem proving, and the integration of decision procedures and other solving processes into constraint programming and deduction systems.

Informazioni sul libro

Titolo completo Frontiers of Combining Systems
Autore Alessandro Armando
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2002
Numero di pagine 264
EAN 9783540433811
ISBN 3540433813
Codice Libristo 01564181
Casa editrice Springer, Berlin
Peso 386
Dimensioni 155 x 235 x 14

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
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

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