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

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Logic for Programming, Artificial Intelligence, and Reasoning Matthias Baaz
Codice Libristo: 01555913
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2002
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Prog... Descrizione completa
? points 129 b
52.69 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Leto tvojej nehy Juraj Kalnický / Libro Rigido
common.buy 3.49 €
Egal was sich auch ändert, das Herz bleibt genau dasselbe Berman Vered / Libro Rigido
common.buy 15.09 €
Gold & Rainbows-The Warner Bros Years 1969-1978 Seals and Crofts / Audio CD audio
common.buy 65.49 €
LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES / Libro Libro
common.buy 17.69 €
Knooking – pletení na háčku. Základní postupy krok za krokem Veronika Hugová / Libro In brossura
common.buy 10.29 €
CONTRE-NOIR MATTHIEU PECK / Libro In brossura
common.buy 25.99 €
Die Silbermeer-Saga (Band 2) - Die Fließende Karte Katharina Hartwell / Libro Rigido
common.buy 20.69 €
Mezi vilami Justin Quinn / Libro Rigido
common.buy 11.19 €
Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta / Libro In brossura
common.buy 11.59 €
Promenades A Chamouni Lutz-M / Libro In brossura
common.buy 15.09 €
Karma Tolstói / Libro In brossura
common.buy 12.09 €
Etudes de la Nature. Tome 3 Henri Bernardin De Saint-Pierre / Libro In brossura
common.buy 34.29 €

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

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 Logic for Programming, Artificial Intelligence, and Reasoning
Autore Matthias Baaz, Andrei Voronkov
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2002
Numero di pagine 470
EAN 9783540000105
ISBN 3540000100
Codice Libristo 01555913
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1490
Dimensioni 155 x 235 x 27

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
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

Non Coding RNAs in Plants Volker A. Erdmann / Libro In brossura
common.buy 214.29 €
Army of Shadows Joseph Kessel / Libro In brossura
common.buy 18.09 €
Legacies of Great Men in World Soccer Kausik Bandyopadhyay / Libro Rigido
common.buy 144.89 €
Papers by Command, Volume 88 Great Britain Parliament House of Comm / Libro Rigido
common.buy 52.39 €
In preparazione
Skills-Based Health Education Mary Connolly / Libro In brossura
common.buy 155.99 €
Ordnance Survey Memoirs of Ireland: Vol. 11: Parishes of Co. Londonderry III: 1831-5 Angelique Day / Libro In brossura
common.buy 16.49 €
Learn Java for Android Development: Java 8 and Android 5 Edition Jeff Friesen / Libro In brossura
common.buy 29.39 €
Family Tree Albany De Fonblanque / Libro Rigido
common.buy 35.79 €
Frankia in Heavy Metals and Aromatic Compounds Bio-remediation Medhat Rehan / Libro In brossura
common.buy 52.19 €
Life Less Throwaway Tara Button / Libro In brossura
common.buy 16.99 €
NETWORKING 2012 Workshops Zdenek Becvar / Libro In brossura
common.buy 53.79 €
Ice Kevin Tinto / Libro In brossura
common.buy 16.79 €
Chemistry: Theory and Practice BRUCE HORAK / Libro Rigido
common.buy 134.79 €
Nursing Care and ECMO Chirine Mossadegh / Libro In brossura
common.buy 40.19 €
Hymns for Brass: Conductor Hal Leonard Corp / Libro In brossura
common.buy 14.29 €
Write Now Inga Dubay / Libro In brossura
common.buy 14.29 €
New Spring: Prequel to the Wheel of Time Robert Jordan / Libro In brossura
common.buy 8.89 €
Expanding World Ayahuasca Diaspora Beatriz Caiuby Labate / Libro In brossura
common.buy 66.89 €
Through Deserts And Oases Of Central Asia Ella Sykes / Libro Rigido
common.buy 47.49 €
In preparazione
National Geographic Traveler Japan 7th Edition E07 / Libro In brossura
common.buy 25.69 €
Broken Boundaries Katherine M. Quinsey / Libro In brossura
common.buy 35.19 €
Seed-borne plant virus diseases K. Subramanya Sastry / Libro Rigido
common.buy 160.89 €
Building Structures Illustrated - Patterns, Systems, and Design, Second Edition Francis D K Ching / Libro In brossura
common.buy 55.59 €
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE Bran Selic / 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?