共 50 条
- [26] QUANTUM KINETIC-EQUATIONS FOR AN IMPERFECT GAS AND A NONIDEAL PLASMA ZHURNAL EKSPERIMENTALNOI I TEORETICHESKOI FIZIKI, 1972, 63 (03): : 905 - 917
- [27] Higher-order lazy narrowing calculus: A solver for higher-order equations COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493