( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Use of Proof Plans to Sum Series.

, , и . CADE, том 607 из Lecture Notes in Computer Science, стр. 325-339. Springer, (1992)

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.

Mark Walsh

Gordon Toby

Samuel Toby

Toby Bloom

Gianfranco Walsh

 

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

Adaptive signal-vehicle cooperative controlling system., , и . ITSC, стр. 236-241. IEEE, (2011)Where Are the Hard Manipulation Problems?. J. Artif. Intell. Res., (2011)It's alive : wie künstliche Intelligenz unser Leben verändern wird. Edition Körber, 1 издание, (сентября 2018)Online Cake Cutting (published version). CoRR, (2011)Scenario-based Stochastic Constraint Programming, , и . CoRR, (2009)Symmetry within and between Solutions.. PRICAI, том 6230 из Lecture Notes in Computer Science, стр. 11-13. Springer, (2010)Local Search and the Number of Solutions., , , , , и . CP, том 1118 из Lecture Notes in Computer Science, стр. 119-133. Springer, (1996)Online Cake Cutting.. ADT, том 6992 из Lecture Notes in Computer Science, стр. 292-305. Springer, (2011)Parameterized Complexity Results in Symmetry Breaking.. IPEC, том 6478 из Lecture Notes in Computer Science, стр. 4-13. Springer, (2010)Reformulating Propositional Satisfiability as Constraint Satisfaction.. SARA, том 1864 из Lecture Notes in Computer Science, стр. 233-246. Springer, (2000)