Deduction Systems in Artificial Intelligence

• Authors:

• Karl H. Blasius;Hans-Jurgen Burchert

• Affiliations:

• -;-

• Venue:
• Deduction Systems in Artificial Intelligence
• Year:
• 1989