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

InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 10.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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: 01560435
Price: 440.84 PLN
Availability: InStock

Franz Baader

Andrei Voronkov

Język

Angielski

Książka Miękka

Kod Libristo: 01560435

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2005

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

Kod Libristo: 01560435

259 b

440.84 zł

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

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

55 Spiele für den Kindergeburtstag Arno Backhaus

/ Miękka

29.10 zł

Early Romanticism and Religious Dissent Daniel E. White

/ Miękka

214.46 zł

Dielectric Materials for Electrical Engineering Juan Martinez-Vega

/ Twarda

1 091.66 zł

Ansatze zur Erklarung des Unterganges von Organisationen Burak Gümüs

/ Miękka

172.65 zł

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005.§The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, fuzzy logic, linear logic, multi-modal logic, proof theory, formal verification, protocol verification, constraint logic programming, programming calculi, theorem proving, etc.

Informacje o książce

Pełna nazwa Logic for Programming, Artificial Intelligence, and Reasoning

Autor Franz Baader, Andrei Voronkov

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2005

Liczba stron 560

EAN 9783540252368

ISBN 3540252363

Kod Libristo 01560435

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

Waga 973

Wymiary 155 x 235 x 36

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja

Informatyka i technologie informacyjne (IT) > Systemy operacyjne

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Dostawa

Doradca ds. zakupów