( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Connect the Dots to Prove It: A Novel Way to Learn Proof Construction.

, , и . SIGCSE, стр. 533-538. ACM, (2018)

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.

Iain McGregor

Simon McGregor

Andrew Cato

Andrew Singer

Andrew Torda

 

Другие публикации лиц с тем же именем

Open Problems in Data Streams, Property Testing, and Related Topics, , , и . (2011)Graph distances in the streaming model: the value of space., , , , и . SODA, стр. 745-754. SIAM, (2005)Streaming and sublinear approximation of entropy and information distances., , и . SODA, стр. 733-742. ACM Press, (2006)Better Streaming Algorithms for the Maximum Coverage Problem., и . ICDT, том 68 из LIPIcs, стр. 22:1-22:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Approximate Principal Direction Trees., , и . ICML, icml.cc / Omnipress, (2012)Approximate quantiles and the order of the stream., и . PODS, стр. 273-279. ACM, (2006)Checking and Spot-Checking the Correctness of Priority Queues., , и . ICALP, том 4596 из Lecture Notes in Computer Science, стр. 728-739. Springer, (2007)On Graph Problems in a Semi-streaming Model., , , , и . ICALP, том 3142 из Lecture Notes in Computer Science, стр. 531-543. Springer, (2004)Space-Efficient Estimation of Robust Statistics and Distribution Testing., , и . ICS, стр. 251-265. Tsinghua University Press, (2010)More on reconstructing strings from random traces: insertions and deletions., и . ISIT, стр. 297-301. IEEE, (2005)