
2010, ISBN: 9048154383
[EAN: 9789048154388], Neubuch, [PU: Springer Netherlands Dez 2010], PROLOG; RACTER; ALGORITHMS; ARTIFICIALINTELLIGENCE; AUTOMATEDDEDUCTION; INTELLIGENCE; KNOWLEDGE; KNOWLEDGEBASE; KNOWLED… Meer...
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |

2010, ISBN: 9048154383
[EAN: 9789048154388], Neubuch, [SC: 0.0], [PU: Springer Netherlands], PROLOG; RACTER; ALGORITHMS; ARTIFICIAL INTELLIGENCE; AUTOMATED DEDUCTION; KNOWLEDGE; KNOWLEDGE BASE; REPRESENTATION; … Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |

2010, ISBN: 9048154383
[EAN: 9789048154388], Neubuch, [PU: Springer Netherlands], PROLOG; RACTER; ALGORITHMS; ARTIFICIAL INTELLIGENCE; AUTOMATED DEDUCTION; KNOWLEDGE; KNOWLEDGE BASE; REPRESENTATION; NEURAL NETW… Meer...
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |

2010, ISBN: 9789048154388
[ED: Softcover], [PU: Springer / Springer Netherlands], `Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to … Meer...
booklooker.de buecher.de GmbH & Co. KG Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |

2010, ISBN: 9789048154388
[ED: Softcover], [PU: Springer / Springer Netherlands], `Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to … Meer...
booklooker.de buecher.de GmbH & Co. KG Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |


2010, ISBN: 9048154383
[EAN: 9789048154388], Neubuch, [PU: Springer Netherlands Dez 2010], PROLOG; RACTER; ALGORITHMS; ARTIFICIALINTELLIGENCE; AUTOMATEDDEDUCTION; INTELLIGENCE; KNOWLEDGE; KNOWLEDGEBASE; KNOWLED… Meer...

Steffen Hölldobler:
Intellectics and Computational Logic : Papers in Honor of Wolfgang Bibel - pocketboek2010, ISBN: 9048154383
[EAN: 9789048154388], Neubuch, [SC: 0.0], [PU: Springer Netherlands], PROLOG; RACTER; ALGORITHMS; ARTIFICIAL INTELLIGENCE; AUTOMATED DEDUCTION; KNOWLEDGE; KNOWLEDGE BASE; REPRESENTATION; … Meer...

2010
ISBN: 9048154383
[EAN: 9789048154388], Neubuch, [PU: Springer Netherlands], PROLOG; RACTER; ALGORITHMS; ARTIFICIAL INTELLIGENCE; AUTOMATED DEDUCTION; KNOWLEDGE; KNOWLEDGE BASE; REPRESENTATION; NEURAL NETW… Meer...

2010, ISBN: 9789048154388
[ED: Softcover], [PU: Springer / Springer Netherlands], `Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to … Meer...

2010, ISBN: 9789048154388
[ED: Softcover], [PU: Springer / Springer Netherlands], `Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to … Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Intellectics and Computational Logic
EAN (ISBN-13): 9789048154388
ISBN (ISBN-10): 9048154383
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer Netherlands
400 Bladzijden
Gewicht: 0,602 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-03-18T19:55:06+01:00 (Amsterdam)
Boek voor het laatst gevonden op 2024-12-22T19:18:40+01:00 (Amsterdam)
ISBN/EAN: 9789048154388
ISBN - alternatieve schrijfwijzen:
90-481-5438-3, 978-90-481-5438-8
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: hölldobler, bibel test, wolfgang steffen, holldobler
Titel van het boek: wolfgang, mao bibel, die bibel, logic, bibel englisch
Gegevens van de uitgever
Auteur: Steffen Hölldobler
Titel: Applied Logic Series; Intellectics and Computational Logic - Papers in Honor of Wolfgang Bibel
Uitgeverij: Springer; Springer Netherland
388 Bladzijden
Verschijningsjaar: 2010-12-15
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XI, 388 p.
BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Prolog; Racter; algorithms; artificial intelligence; automated deduction; intelligence; knowledge; knowledge base; knowledge representation; logic; neural network; programming; proving; robot; robotics; Logic; Artificial Intelligence; Künstliche Intelligenz; BB; EA
Prologue.- A Confluent Connection Calculus.- Prioritizing Default Logic.- A Connection Calculus for Handling Incomplete Information.- The Connection Method, Constraints and Model Building.- Towards a Logical Characterisation of Sentences of the Kind “Sentence p is About Object c”.- The Cut Rule in Theorem Proving.- Some Strengths of Nonmonotonic Reasoning.- Composing Re-usable Synthesis Methods through Graph-based Viewpoints.- Proof Structures and Matrix Graphs.- AI and Cognitive Science: Feedback Leads to a New Neural Concept.- Matrix-based Constructive Theorem Proving.- Complex Plans in the Fluent Calculus.- Querying AOL Knowledge Bases.- Properties and Relations of Tableau and Connection Calculi.- Concepts in Proof Planning.- Proof = Guarantee + Explanation.- Automated Theorem Proving in High-Quality Software Design.- A Complete Neural Network Algorithm for HORN-SAT.- Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms.- The Illusion of Knowledge.- Criteria for Termination.- Epilogue.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789401593847 Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
< naar Archief...