> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Automated Theorem Proving for General Game Playing Beteiligte: Haufe, Sebastian [Verfasser]; Thielscher, Michael [Akademischer Betreuer]; Schaub, Torsten [Akademischer Betreuer] Erschienen: Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2012 Umfang: Online-Ressource Sprache: Englisch Identifikator: RVK-Notation: ST 300 : Allgemeines ST 324 : Computerspiele Schlagwörter: Künstliche Intelligenz ; Generelle Spieleprogramme ; Automatisches Theorembeweisen ; Antwortmengenprogrammierung ; Wissensrepräsentation ; Artificial Intelligence ; General Game Playing ; Automated Theorem Proving ; Answer Set Programming ; Knowledge Representation ; Hochschulschrift Entstehung: Hochschulschrift: Dresden, Technische Universität Dresden, Diss., 2012 Anmerkungen: Zugangsstatus: Freier Zugang