Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Samstag, 25. April 2026, ist die Deutschen Nationalbibliothek in Frankfurt am Main aufgrund von Wartungsarbeiten geschlossen.
Due to maintenance work the German National Library in Frankfurt will be closed on Saturday, 25 April 2026.
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: idn=972325425



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/972325425
Art des Inhalts Hochschulschrift
Titel Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning / Volker Sorge
Person(en) Sorge, Volker (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: [2004]
Umfang/Format Online-Ressource, ca. 1,4 MB
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Ω-ANTS Omega-ANTS
Hochschulschrift Saarbrücken, Univ., Diss., 2001
Persistent Identifier URN: urn:nbn:de:bsz:291-scidok-2375
URL http://scidok.sulb.uni-saarland.de/volltexte/2004/237/pdf/VolkerSorge_ProfDrJoergHSiekmann.pdf (kostenfrei zugänglich)
http://scidok.sulb.uni-saarland.de/volltexte/2004/237/index.html (Verlag)
Sprache(n) Englisch (eng)
Schlagwörter Endliche Algebra ; Automatisches Beweisverfahren ; Blackboard <Expertensystem> ; Online-Publikation
Gruppentheorie ; Automatisches Beweisverfahren ; Blackboard <Expertensystem> ; Online-Publikation
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration