Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

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

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

Robert Nieuwenhuis

Andrei Voronkov

Język

Angielski

Książka Miękka

Kod Libristo: 01563961

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2001

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

Kod Libristo: 01563961

236 b

424.02 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Collapse Nashwa El-Hofy

Adobe ePub DRM

57.72 zł

Asmara, tempo d'amore Mauro Moruzzi

Miękka

83.37 zł

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

Miękka

240.67 zł

Puzzle 1000 elementów. Wschód słońca na Sakrisoy. Lofoty. Norwegia Gra/Zabawka

Puzzle

38.11 zł

albero velenoso della fede Barbara Kingsolver

Miękka

72.71 zł

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

Twarda

55.41 zł

Siebzehn Jahre. Ohne mich. Mit dir. A. D. Wilk

Miękka

48.07 zł

L'Argentine Devant l'Histoire Otero-J

Miękka

99.16 zł

Repertorium fur Kunstwissenschaft. Band 29 FRANZ SCHESTAG

Twarda

777.74 zł

Katakomben. Auf Sand Albert Ostermaier

Miękka

55.21 zł

Wahrnehmung Rumaniens. Eine soziologische Studie zu Stereotypen und Vorurteilen Anamaria Denisa Nemet

Miękka

164.63 zł

Anneaux de Valuation Et Anneaux A Type de Module Borne François Couchot

Miękka

109.82 zł

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

Miękka

157.29 zł

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

Miękka

102.78 zł

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.