共 50 条
- [5] Algorithms for three-dimensional rigidity analysis and a first-order percolation transition PHYSICAL REVIEW E, 2007, 76 (04):
- [7] A Formalization of Programs in First-Order Logic with a Discrete Linear Order FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 338 - 347
- [9] A real-time video implementation of a three-dimensional first-order recursive discrete-time filter ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 2, 1996, : 699 - 702