Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563961
Price: 540.84 RON
Availability: InStock
Author: Robert Nieuwenhuis
ISBN: 9783540429579

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Robert Nieuwenhuis

Andrei Voronkov

Limba

engleză

Carte Carte broșată

Codul Libristo: 01563961

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noiembrie 2001

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog... Descrierea completă

Codul Libristo: 01563961

249 b

540.84 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner

Carte broșată

213.10 lei

voelkerstrafrechtliche Verantwortlichkeit nichtstaatlicher Akteure, insbesondere der Angehoerigen von Private Military Companies (PMCs) Lennart Schmitt

Carte broșată

131.50 lei

Repertorium fur Kunstwissenschaft. Band 29 FRANZ SCHESTAG

Copertă tare

989.98 lei

Die Küstencrew (Band 1) - Das Gold der Walfänger Nathalie Kranich

Copertă tare

71.17 lei

Usinage par décharge électrique des composites à matrice métallique en aluminium Jatinder Kumar

Carte broșată

308.35 lei

Tieronisch Eulen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo

Calendar

149.11 lei

Puzzle 1000 elementów. Wschód słońca na Sakrisoy. Lofoty. Norwegia Joc / Jucărie

Puzzle

39.90 lei

Asmara, tempo d'amore Mauro Moruzzi

Carte broșată

105.87 lei

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planning.