Repository | Directory | Profile
Dag Westerståhl
(2000-2009)
XProofs instead of meaning explanations
2008
in: Deduction, computation, experiment, Dordrecht : Springer
Repository | Directory | Profile
(2000-2009)
XProofs instead of meaning explanations
2008
in: Deduction, computation, experiment, Dordrecht : Springer