共 50 条
- [31] LOGICAL CIRCUITS BASED ON A TRANSISTOR CURRENT SWITCH INSTRUMENTS AND EXPERIMENTAL TECHNIQUES-USSR, 1971, 14 (03): : 751 - +
- [32] CONSTRUCTION OF CHECK TESTS FOR THE PROGRAMMING LOGICAL MATRIX AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1982, (02): : 73 - 76
- [34] Knowledge of Uncertain Worlds: Programming with Logical Constraints LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 111 - 127
- [35] UNIFIED THEORY FOR LOGICAL PROGRAMMING AND SEMANTIC REPRESENTATION COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1987, 6 (01): : 1 - 15
- [38] Software tools for logical equations in robotics programming PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON VIRTUAL LEARNING, ICVL 2019, 2019, : 339 - 345