> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning Beteiligte: Sorge, Volker [Verfasser:in] Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Endliche Algebra > Automatisches Beweisverfahren > Blackboard > Online-Publikation Gruppentheorie > Automatisches Beweisverfahren > Blackboard > Online-Publikation Entstehung: Hochschulschrift: Saarbrücken, Univ., Diss., 2001 Anmerkungen: Zugangsstatus: Freier Zugang