Non-axiomatic reasoning system (version 2.2 (1993)

by P Wang
Venue:Indiana University, Center for