Skip to content

Deduction as a Cross-Sectional Technology: The DFG Focus Programme on Deduction.

Wolfgang Bibel

VenueBGI
Year1997
ProceedingsGI Jahrestagung

Browse the full GI paper archive.