%0
Book
%T
Plan generation by linear deduction
%A
Schneeberger, Josef
%K
Hochschulschrift
%K
Planungssystem
%K
Automatisches Beweisverfahren
%D
1992
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation