Analysis and synthesis of logics how to cut and paste reasoning systems
Carnielli, Walter ...[et al.]
Analysis and synthesis of logics how to cut and paste reasoning systems Carnielli, Walter ...[et al.] - Springer 2008
511.3 / T08 CAR.C
Analysis and synthesis of logics how to cut and paste reasoning systems Carnielli, Walter ...[et al.] - Springer 2008
511.3 / T08 CAR.C