TY -
GEN
AU - Meier, Andreas
TI -
Proof planning with multiple strategies
KW - Automatisches Beweisverfahren
KW - Blackboard
KW - Automatisches Beweisverfahren ; Blackboard <Expertensystem>
KW - Hochschulschrift
KW - Blackboard Expertensystem
PY - 2007
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -