Automated Deduction in Nonclassical Logistics

Automated Deduction in Nonclassical Logistics. IEEE Intelligent Systems, 6(3):96-97, 1991. [doi]

Abstract

Abstract is missing.