( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A New Language for the Visualization of Logic and Reasoning.

, , , , и . DMS, стр. 287-292. Knowledge Systems Institute, (2005)

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.

Simon J Joseph

John Thompson

Christiane Thompson

Bambi Thompson

Peter Thompson

 

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

Modelling Reactive Multimedia: Design and Authoring., , и . Multimedia Tools Appl., 27 (1): 23-52 (2005)The expressiveness of spider diagrams augmented with constants., , , и . J. Vis. Lang. Comput., 20 (1): 30-49 (2009)Efficient Static Analysis of Marlowe Contracts., , и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 161-177. Springer, (2020)Functional Programming in Education - Introduction., и . J. Funct. Program., 3 (1): 3-4 (1993)Integrating Computer Algebra and Reasoning through the Type System of Aldor., и . FroCoS, том 1794 из Lecture Notes in Computer Science, стр. 136-150. Springer, (2000)Functional Programming Through the Curriculum., и . FPLE, том 1022 из Lecture Notes in Computer Science, стр. 85-102. Springer, (1995)A functional reactive animation of a lift using Fran.. J. Funct. Program., 10 (3): 245-268 (2000)On the Completeness of Spider Diagrams Augmented with Constants., , , , и . Visual Reasoning with Diagrams, Birkhäuser / Springer, (2013)Where Do I Begin? A Problem Solving Approach in teaching Functional Programming.. PLILP, том 1292 из Lecture Notes in Computer Science, стр. 323-334. Springer, (1997)Clone detection and elimination for Haskell., и . PEPM, стр. 111-120. ACM, (2010)