共 50 条
- [23] KNOWLEDGE-REPRESENTATION-LOGIC: AN EXTENSION OF FIRST-ORDER LOGIC INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2022, 18 (04): : 1055 - 1069
- [24] A first-order representation of pure type systems using superdeduction TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 253 - 263
- [28] MARKOVIAN MODEL OF REVERSIBLE FIRST-ORDER CHEMICAL REACTION ZEITSCHRIFT FUR PHYSIKALISCHE CHEMIE-FRANKFURT, 1973, 83 (1-4): : 64 - 74
- [30] STOCHASTIC APPROACH TO FIRST-ORDER CHEMICAL REACTION KINETICS JOURNAL OF CHEMICAL PHYSICS, 1966, 44 (03): : 990 - &