( en | de | ru )

 

Disambiguierung von "Thompson, Simon J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A New Language for the Visualization of Logic and Reasoning.

, , , , und . DMS, Seite 287-292. Knowledge Systems Institute, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Simon J Joseph

John Thompson

Christiane Thompson

Bambi Thompson

Peter Thompson

 

Weitere Publikationen von Autoren mit dem selben Namen

Modelling Reactive Multimedia: Design and Authoring., , und . Multimedia Tools Appl., 27 (1): 23-52 (2005)Functional Programming in Education - Introduction., und . J. Funct. Program., 3 (1): 3-4 (1993)Functional Programming Through the Curriculum., und . FPLE, Volume 1022 von Lecture Notes in Computer Science, Seite 85-102. Springer, (1995)Integrating Computer Algebra and Reasoning through the Type System of Aldor., und . FroCoS, Volume 1794 von Lecture Notes in Computer Science, Seite 136-150. Springer, (2000)Efficient Static Analysis of Marlowe Contracts., , und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 161-177. Springer, (2020)Review of spreadsheet implementation technology: Basics and extensions, by Peter Sestoft , MIT Press, 2014, ISBN 978-0-262-52664-7.. J. Funct. Program., (2016)The Expressiveness of Spider Diagrams., , , und . J. Log. Comput., 14 (6): 857-880 (2004)Clone detection and elimination for Haskell., und . PEPM, Seite 111-120. ACM, (2010)Erlang Behaviours: Programming with Process Design Patterns., und . CEFP, Volume 6299 von Lecture Notes in Computer Science, Seite 19-41. Springer, (2009)Where Do I Begin? A Problem Solving Approach in teaching Functional Programming.. PLILP, Volume 1292 von Lecture Notes in Computer Science, Seite 323-334. Springer, (1997)