Return to search

W-ANTS Omega-ANTS a blackboard architecture for the integration of reasoning techniques into proof planning /

University, Diss., 2001--Saarbrücken.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/177323703
CreatorsSorge, Volker.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeOnline-Publikation.

Page generated in 0.0018 seconds