( en | de | ru )

 

Disambiguation of "Moore, Robert C."

Author of the publication

copydeleteadd this publication to your clipboard
Making the Transition to Formal Proof

. Educational Studies in Mathematics, 27 (3): p249-66 (October 1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Robert C Cauthorn

Robert C Holub

Patrick Moore

Johannes Moore

Ciara Moore

 

Other publications of authors with the same name

Using Eccentricity to Locate Ionospheric Exit Points of Magnetospheric Whistler Mode Waves., , , , and . IEEE Trans. Geosci. Remote. Sens., 56 (12): 7049-7061 (2018)Panel: Real-Time Performance in Problem Solving., , , , , and . AAAI, page 1150. Morgan Kaufmann, (1986)Interleaving Syntax and Semantics in an Efficient Bottom-Up Parser., , , and . CoRR, (1994)Is It Rational to be Logical?. TARK, page 363. Morgan Kaufmann, (1988)Fast and Accurate Sentence Alignment of Bilingual Corpora.. AMTA, volume 2499 of Lecture Notes in Computer Science, page 135-144. Springer, (2002)Events, Situations, and Adverbs.. EPIA, volume 390 of Lecture Notes in Computer Science, page 320-332. Springer, (1989)The challenge of domain-independent speech understanding.. ICASSP, page 1045-1048. IEEE, (1998)Lightning-Related ELF Transients as a Potential Source of Rapid State of Polarization Changes in Shielded OPGW., , , , and . OFC, page 1-3. IEEE, (2022)Spoken language system integration and development., , , , , , , , , and 3 other author(s). ICSLP, page 729-732. ISCA, (1990)SRI's Experience with the ATIS Evaluation., , , , and . HLT, Morgan Kaufmann, (1990)