共 50 条
- [35] Procedure for satisfiability problems based on the partial instantiation technique Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi), 1995, 78 (09): : 94 - 103
- [36] A procedure for satisfiability problems based on the partial instantiation technique ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1995, 78 (09): : 94 - 103
- [37] Partial instantiation theorem proving for distributed resource location COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 192 - 197
- [38] Temporary Agency Worker Organizing in an Era of Contingent Employment GLOBAL LABOUR JOURNAL, 2014, 5 (01): : 1 - 22
- [39] Incremental algorithms for optimizing model computation based on partial instantiation J Logic Program, 3 (179-204):