共 50 条
- [22] Deduction and knowledge in the origins of proof theory [J]. THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, 2001, 16 (03): : 521 - 538
- [23] Automated Deduction and Knowledge Management in Geometry [J]. Mathematics in Computer Science, 2020, 14 : 673 - 692
- [25] THE INCOME TAX LAW AND DEDUCTION AT THE SOURCE [J]. COLUMBIA LAW REVIEW, 1913, 13 (08) : 714 - 726
- [26] KNOWLEDGE-BASED SYSTEM FOR SOURCE ROCK PREDICTION [J]. AAPG BULLETIN-AMERICAN ASSOCIATION OF PETROLEUM GEOLOGISTS, 1987, 71 (05): : 557 - 557
- [27] MARXIST DIALECTIC AND PRAGMATISM - POWER AS KNOWLEDGE [J]. AMERICAN SOCIOLOGICAL REVIEW, 1970, 35 (02) : 308 - 318
- [30] Representation and Deduction of Provenance Knowledge for XML Queries [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING (GRC 2012), 2012, : 519 - 524