Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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: 102.9 EUR
Availability: InStock
Author: Robert Nieuwenhuis
ISBN: 9783540429579

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

Robert Nieuwenhuis

Andrei Voronkov

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01563961

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, studeni 2001

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog... Cijeli opis

Libristo kod: 01563961

249 b

102.90 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

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

Meki uvez

38.30 €

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

Meki uvez

25.06 €

Repertorium fur Kunstwissenschaft. Band 29 FRANZ SCHESTAG

Tvrdi uvez

188.43 €

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

Tvrdi uvez

13.54 €

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

Meki uvez

58.73 €

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

Kalendar

28.40 €

Puzzle 1000 elementów. Wschód słońca na Sakrisoy. Lofoty. Norwegia Igra/Igračka

Puzzle

6.97 €

Asmara, tempo d'amore Mauro Moruzzi

Meki uvez

19.30 €

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.