phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Logic for Programming, Artificial Intelligence, and Reasoning

Język AngielskiAngielski
Książka Miękka
Książka Logic for Programming, Artificial Intelligence, and Reasoning Nachum Dershowitz
Kod Libristo: 01569358
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2007
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Pro... Cały opis
? points 154 b
262.97 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Theodor Fontane: Effi Briest Theodor Fontane / Twarda
common.buy 24.44 zł
Rodina v 21. století collegium / Miękka
common.buy 16.53 zł
A>tze, das Tintenmonster Ursel Scheffler / Miękka
common.buy 24.74 zł
Advances in X-Ray Analysis Charles S. Barrett / Miękka
common.buy 262.97 zł
Future of Drylands Cathy Lee / Twarda
common.buy 1 030.17 zł
Nonlinear Dynamics and Heterogeneous Interacting Agents T. Lux / Miękka
common.buy 518.74 zł
Gender and Nation Building in the Middle East Elise G Young / Twarda
common.buy 786.63 zł
Pascal John Tulloch / Miękka
common.buy 106.23 zł
English Drama Before Shakespeare Peter Happe / Miękka
common.buy 310.18 zł
Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone / Miękka
common.buy 425.63 zł
Multiple Testing Procedures with Applications to Genomics S. Dudoit / Twarda
common.buy 1 030.17 zł
Heilkunst und Humor Rosina Sonnenschmidt / Twarda
common.buy 111.74 zł
Evolving Human Nutrition Stanley UlijaszekNeil MannSarah Elton / Miękka
common.buy 242.03 zł

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

Informacje o książce

Pełna nazwa Logic for Programming, Artificial Intelligence, and Reasoning
Autor Nachum Dershowitz, Andrei Voronkov
Język Angielski
Oprawa Książka - Miękka
Data wydania 2007
Liczba stron 564
EAN 9783540755586
ISBN 3540755586
Kod Libristo 01569358
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 878
Wymiary 155 x 235 x 32

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

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo