( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Partial Inductive Definitions (Tutorial).

, и . ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, (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.

Bernd Larsonneur

Bertold Larsen

Niels Larsen

Kirsten Kastrup Larsen

Peter Larsen

 

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

An Intensional Characterization of the Largest Bisimulation.. Theor. Comput. Sci., (1987)Slow Technology - Designing for Reflection, и . Personal and Ubiquitous Computing, 5 (3): 201--212 (2001)A Survey of GCLA: A Definitional Approach to Logic Programming., , , и . ELP, том 475 из Lecture Notes in Computer Science, стр. 49-99. Springer, (1989)Partial Inductive Definitions (Tutorial)., и . ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, (1994)GCLA: Generalized Horn Clauses as a Programming Language., , , , и . SCAI, том 4 из Frontiers in Artificial Intelligence and Applications, стр. 873-887. IOS Press, (1989)Informative art: using amplified artworks as information displays., , и . Designing Augmented Reality Environments, стр. 103-114. ACM, (2000)Textile displays: using textiles to investigate computational technology as design material., , и . NordiCHI, стр. 157-166. ACM, (2002)The programming language GCLA - A definitional approach to logic programming., , , , и . New Generation Comput., 7 (4): 381-404 (1990)Design process: design rationale the Affective Diary.. NordiCHI, том 358 из ACM International Conference Proceeding Series, стр. 565-566. ACM, (2008)Logical and Computational Invariants of Programs.. ELP, том 596 из Lecture Notes in Computer Science, стр. 181-191. Springer, (1991)