[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

Computational Logic - CL 2000

Lingua IngleseInglese
Libro In brossura
Libro Computational Logic - CL 2000 John Lloyd
Codice Libristo: 01567519
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2000
This book constitutes the refereed proceedings of the First International Conference on Computationa... Descrizione completa
? points 146 b
61.97 €
Magazzino esterno Inviamo tra 6-8 giorni

30 giorni per il reso

Potrebbe interessarti anche

I MIGLIORI
Kawaii: How to Draw Really Cute Stuff Angela Nguyen / In brossura
common.buy 11.98 €
Startup Boards Brad Feld / Rigido
common.buy 29.32 €
Hunsrück Volker Kneidl / In brossura
common.buy 18.51 €
An Introduction to Music Martin Bernstein / In brossura
common.buy 49.55 €
Arbeitskampf und Notstand aus der Sicht des Art. 9 Abs. 3 S. 3 GG. Hans Dieter Schmid / In brossura
common.buy 45.48 €
Negotiating the Modern Amit Ray / In brossura
common.buy 85.62 €
Macroeconomics in Times of Liquidity Crises Guillermo A. Calvo / Rigido
common.buy 48.69 €
Transitional Justice Alexander Laban Hinton / In brossura
common.buy 60.25 €
Kritik und Fortschritt im Rechtsstaat / In brossura
common.buy 43.88 €
Faktenbasierte Unterstutzung von marketingrelevanten Entscheidungen Jürgen Weber / In brossura
common.buy 30.60 €
Juguemos Todos Juntos K / In brossura
common.buy 29.32 €
Gercek Hikayelerle Istiklal Marsimiz Nurullah Cetin / In brossura
common.buy 24.40 €
Angiotensin Vol. I T. Unger / Rigido
common.buy 425.91 €

This book constitutes the refereed proceedings of the First International Conference on Computational Logic, CL 2000, held in London, UK in July 2000. The 86 revised full papers presented together with five invited papers were carefully reviewed and selected from a total of 176 submissions. In accordance with the seven streams, the papers are organized in sections on program development, logic programming - theory and extensions, constraints, automated deduction - putting theory into practice, knowledge representation and nonmonotonic reasoning, database systems, and logic programming - implementations and applications.

Informazioni sul libro

Titolo completo Computational Logic - CL 2000
Autore John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2000
Numero di pagine 1382
EAN 9783540677970
ISBN 3540677976
Codice Libristo 01567519
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 2154
Dimensioni 155 x 235 x 51

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 > Progettazione e analisi di sistemi
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Medicina e Infermieristica > Medicina: argomenti di interesse generale
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

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