TY
-
BOOK
AU
-
Schneeberger, Josef
TI
-
Plan generation by linear deduction
KW
-
Hochschulschrift
KW
-
Planungssystem
KW
-
Automatisches Beweisverfahren
PY
-
1992
UR
-
http://slubdd.de/katalog?TN_libero_mab2
ER
-
Download citation