> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution Beteiligte: Thielscher, Michael [Verfasser:in] Erschienen: Sankt Augustin: Infix, 1995 Erschienen in: Dissertationen zur künstlichen Intelligenz ; 76 Umfang: XIV, 218 S; graph. Darst; 21 cm Sprache: Deutsch ISBN: 3929037769 RVK-Notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Schlagwörter: Automatisches Beweisverfahren > Kausalität Entstehung: Hochschulschrift: Zugl.: Darmstadt, Techn. Hochsch., Diss., 1994 Anmerkungen: Weitere Bestandsnachweise 0 : Dissertationen zur künstlichen Intelligenz