共 50 条
- [31] Mechanization of a proof of string-preprocessing in Boyer-Moore's pattern matching algorithm EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 68 - 77
- [34] LETTERS TO RUSSELL, KEYNES AND MOORE - WITTGENSTEIN,L, WRIGHT,GHV, EDITOR PHILOSOPHICAL QUARTERLY, 1975, 25 (100): : 279 - 281
- [35] Gordon Moore's Journey: 'Moore's law' dissected IEEE Solid-State Circuits Magazine, 2024, 16 (01): : 42 - 47
- [37] DIRECT PROOF OF MATTHES-WRIGHT INTEGRAL EXTENSION THEOREM JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1975, 11 (OCT): : 276 - 284
- [39] An elementary proof for the majorization principle for Wright-convex functions Aequationes mathematicae, 2018, 92 : 577 - 580