topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 8
 |
Automated Reasoning: Third International Joint Conference, Ijcar 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings
ISBN: 9783540371878 / Angielski / Miękka / 2006 / 688 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic. Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2... |
cena:
403,47 |
 |
KI 2005: Advances in Artificial Intelligence: 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings
ISBN: 9783540287612 / Angielski / Miękka / 2005 / 418 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) ThisvolumecontainstheresearchpaperspresentedatKI2005, the28thGerman Conference on Arti?cial Intelligence, held September 11 14, 2005 in Koblenz, Germany. KI 2005 was part of the International Conference Summer Koblenz 2005, which included conferences covering a broad spectrum of topics that are all related to AI: tableau-based reasoningmethods (TABLEAUX), multi-agent s- tems (MATES), automated reasoningand knowledgerepresentation(FTP), and software engineering and formal methods (SEFM). The Program Committee received 113 submissions from 22 countries. Each...
ThisvolumecontainstheresearchpaperspresentedatKI2005, the28thGerman Conference on Arti?cial Intelligence, held September 11 14, 2005 in Koblenz, Germa...
|
cena:
201,72 |
 |
Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, Lpnmr'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
ISBN: 9783540632559 / Angielski / Miękka / 1997 / 461 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.
The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence. This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in...
|
cena:
201,72 |
 |
Logische Und Funktionale Programmierung: Grundlagen Einer Kombination
ISBN: 9783528051273 / Niemiecki / Miękka / 1991 / 159 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Das vorliegende Bueh ist eine iiberarbeitete Fassung meiner Habilitati onssehrift 'Funktionen in Hornklausellogik'. Die Arbeit ist an der Teehnisehen Universitat Miinehen im Rahmen des ESPRIT-Projektes P973 ALPES fertiggestellt worden. Herrn Prof. Bibel und Herrn Prof. Jessen moehte ieh danken, daB sie mir die Arbeit in der fruehtbaren und anregenden Atmosphare der Forsehungsgruppe Intellek tik ermoglieht haben. Herrn Prof. Brauer danke ieh fUr das Interesse, daB er dieser Arbeit entgegengebraeht hat. Ein wiehtiger Teil der Arbeit baut auf meiner wissensehaftliehen Tatigkeit an der Fakultat...
Das vorliegende Bueh ist eine iiberarbeitete Fassung meiner Habilitati onssehrift 'Funktionen in Hornklausellogik'. Die Arbeit ist an der Teehnisehen ...
|
cena:
207,36 |
 |
A Different Look at Artificial Intelligence: On Tour with Bergson, Proust and Nabokov
ISBN: 9783658384739 / Angielski / Miękka / 2023 / 173 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Digitalization is inexorably conquering our lives - also with artificial intelligence (AI) methods. Search engine operators, social network operators and shipping platform operators know more and more about us, about our buying and living habits. User data has become a valuable commodity. We live and work with computer systems that behave intelligently or are even intelligent. Questions like "Can machines be intelligent?" or "Can they have emotions or a consciousness?" keep popping up.To enable readers to form their own opinion on these questions, the authors clearly explain individual...
Digitalization is inexorably conquering our lives - also with artificial intelligence (AI) methods. Search engine operators, social network operators ...
|
cena:
181,55 |
 |
Logics in Artificial Intelligence: European Workshop, JELIA ’98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
ISBN: 9783540651413 / Angielski / Miękka / 1998 / 390 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELTA '98, held in Dagstuhl, Germany, in October 1998. The 25 revised full papers presented were carefully selected from a total of 65 submissions. Also included are two abstracts of invited talks. The papers are organized in topical sections on: logic programming; epistemic logics; theorem proving; non-monotonic reasoning; non-standard logics; knowledge representation; and higher order logics.
This volume constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELTA '98, held in Dagstuhl, Germany, ...
|
cena:
201,72 |
 |
K?nstliche Intelligenz F?r Lehrkr?fte: Eine Fachliche Einf?hrung Mit Didaktischen Hinweisen
ISBN: 9783658442477 / Niemiecki Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
226,25 |
 |
Computational Intelligence in Data Science: Third Ifip Tc 12 International Conference, Iccids 2020, Chennai, India, February 20-22, 2020, Revised Sele
ISBN: 9783030634667 / Angielski / Twarda / 2020 / 329 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
403,47 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
