共 50 条
- [21] Normal natural deduction proofs (in non-classical logics) MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 169 - 191
- [29] Generating non-classical correlations between photons and spins in a crystal ADVANCES IN PHOTONICS OF QUANTUM COMPUTING, MEMORY, AND COMMUNICATION XI, 2018, 10547
- [30] Progress on Studies of Crystal Nucleation: Coexistence of Classical and Non-Classical Nucleation in Common System Kuei Suan Jen Hsueh Pao/Journal of the Chinese Ceramic Society, 2023, 51 (07): : 1858 - 1867