フォロー
Sten-Ake Tarnlund
Sten-Ake Tarnlund
確認したメール アドレス: im.uu.se - ホームページ
タイトル
引用先
引用先
A first order theory of data and programs
KL Clark, SÅ Tärnlund
Information Processing 77 Proceedings of the IFIP Congress 77, Toronto …, 1977
1771977
Horn clause computability
SÅ Tärnlund
BIT Numerical Mathematics 17 (2), 215-226, 1977
1431977
Properties of a logic programming language
Å Hansson, S Haridi, SÅ Tärnlund
Logic Programming, Clark, Keith; Tarnlund, Sten--Ake, (eds.), 1982
451982
A natural programming calculus
A Hansson, SA Tarnlund
IJCAI-79: Proceedings of the 6th International Joint Conference on …, 1979
441979
Steadfast logic programs
KK Lau, M Ornaghi, SÅ Tärnlund
The journal of logic programming 38 (3), 259-294, 1999
381999
Program transformation by data structure mapping
Å Hansson, SÅ Tärnlund
Logic Programming, Clark, K. L.; Tarnlund, S--A, (eds.), 1982
321982
The Halting Problem for Deductive Synthesis of Logic Programs.
KK Lau, M Ornaghi, SÅ Tärnlund
ICLP-94 Proceedings of the Eleventh International Conference on Logic …, 1994
211994
An axiomatic data base theory
SÅ Tärnlund
Advances in Data Base Theory, Gallaire, Hervé; Minker, Jack, (eds.), 259-289, 1978
161978
Logic programming: From a logic point of view
SÅ Tärnlund
SLP-86 Proceedings of the 1986 Symposium on Logic Programming, Salt Lake …, 1986
131986
Mechanization of an Oracle in a Debugging System
A Edman, SÅ Tärnlund
IJCAI 1983 : Proceedings of the 8th International Joint Conference on …, 1983
121983
Logic Programming
SA Tarnlund
Academic Press, 1982
121982
Inductive reasoning in mathematics
FM Brown, SÅ Tärnlund
IJCAI 1977: Proceedings of the 5th International Joint Conference on …, 1977
121977
On Logic Programming
SA Tarnlund
IEEE Conference on Automated Theorem Proving, Chicago, 1975
12*1975
Logic information processing
SÅ Tärnlund
The Royal Institute of Technology, Sweden, TRITA-IBADB-1034, 1975
101975
Logic Programming
A Colmerauer, K Clark, SA Tärnlund
APIC Studies in Data Processing, KL Clark and S.-A. Tärnlund eds, 231-251, 1982
91982
Inductive reasoning on recursive equations
F M Brown, SA Tarnlund
Artificial Intelligence 12 (3), 207-229, 1979
91979
An interpreter for the programming language predicate locic
SA Tarnlund
Proceeding IJCAI-75 Proceedings of the 4th international joint conference on …, 1975
91975
Open and closed models of understanding in conditional reasoning
G Hagert, Y Waern, SÅ Tärnlund
Acta Psychologica 52 (1), 41-59, 1982
81982
Program Transformation by a Function that Maps Simple Lists into D-Lists
A Hansson, SA Tarnlund
Logic Programming Workshop, Debrecen, Hungary; Tarnlund, Sten-Ake (Ed.), 1980
71980
Some aspects on a logic machine prototype
Å Hansson, S Haridi, SÅ Tärnlund
Logic Programming Workshop Debrecen Hungary, Tarnlund, Sten-Ake (Ed.), 1980
71980
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20