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

ISBN: 9789048154388
‘Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or com… Meer...
BarnesandNoble.com new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
2010, ISBN: 9048154383
Softcover reprint of the original 1st ed. 2000 Kartoniert / Broschiert Künstliche Intelligenz, Prolog; Racter; algorithms; ArtificialIntelligence; automateddeduction; intelligence; know… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |

Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel (Applied Logic) - pocketboek
2000, ISBN: 9789048154388
Springer, 2000. Paperback. New. 408 pages. 9.25x6.10x0.91 inches., Springer, 2000, 6
Biblio.co.uk |
2010, ISBN: 9789048154388
Papers in Honor of Wolfgang Bibel, Buch, Softcover, Softcover reprint of the original 1st ed. 2000, [PU: Springer], Springer, 2010
lehmanns.de Verzendingskosten:Lieferbar. (EUR 13.95) Details... |


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

ISBN: 9789048154388
‘Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to which they can substitute or com… Meer...
2010
ISBN: 9048154383
Softcover reprint of the original 1st ed. 2000 Kartoniert / Broschiert Künstliche Intelligenz, Prolog; Racter; algorithms; ArtificialIntelligence; automateddeduction; intelligence; know… Meer...
2010, ISBN: 9789048154388
Papers in Honor of Wolfgang Bibel, Buch, Softcover, Softcover reprint of the original 1st ed. 2000, [PU: Springer], Springer, 2010
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel Steffen Hölldobler Editor
EAN (ISBN-13): 9789048154388
ISBN (ISBN-10): 9048154383
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer Netherlands Core >1
400 Bladzijden
Gewicht: 0,602 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-03-18T19:55:06+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-11-02T15:38:14+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
Titel van het boek: wolfgang, mao bibel, die bibel, logic
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
Gewicht: 0,617 kg
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XI, 388 p.
BC; Logic; 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; Artificial Intelligence; Logic; Artificial Intelligence; Künstliche Intelligenz; BB
Preface; S. Hölldobler. Prologue; C. Kreitz. A Confluent Connection Calculus; P. Baumgartner, et al. Prioritizing Default Logic; G. Brewka, T. Eiter. A Connection Calculus for Handling Incomplete Information; S. Brüning, T. Schaub. The Connection Method, Constraints and Model Building; R. Caferra, N. Peltier. Towards a Logical Characterisation of Sentences of the Kind `Sentence p is About Object c'; R. Demolombe, L.F. del Cerro. The Cut Rule in Theorem Proving; E. Eder. Some Strengths of Nonmonotonic Reasoning; Uwe Egly, H. Tompits. Composing Re-usable Synthesis Methods through Graph-based Viewpoints; J. Eusterbrock. Proof Structures and Matrix Graphs; B. Fronhöfer. AI and Cognitive Science: Feedback Leads to a New Neural Concept; C. Herrmann. Matrix-based Constructive Theorem Proving; C. Kreitz, et al. Complex Plans in the Fluent Calculus; S. Hölldobler, H.-P. Störr. Querying AOL Knowledge Bases; G. Lakemeyer, H.J. Levesque. Properties and Relations of Tableau and Connection Calculi; R. Letz. Concepts in Proof Planning; E. Melis, J.H. Siekmann. Proof = Guarantee + Explanation; J.A. Robinson. Automated Theorem Proving in High-Quality Software Design; J. Schumann. A Complete Neural Network Algorithm for HORN-SAT; A. Strohmaier. Nondeterministic Acions in the Fluent Calculus: Disjunctive State Update Axioms; M. Thielscher. The Illusion of Knowledge; C. Wagner. Criteria for Termination; C. Walther. Epilogue; C. Kreitz.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
- 9789401593847 Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
- 9789401593830 Intellectics and Computational Logic (Steffen Holldobler)
- 9780792362616 Intellectics and Computational Logic by Steffen Hölldobler Hardcover | Indigo Chapters (Holldobler, Steffen (Editor))
- [(Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel )] [Author: Steffen Hölldobler] [Apr-2000] (Steffen Hölldobler)
< naar Archief...