斉藤康己

发表

Douglas B. Lenat and R. V. Guha : Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project, Addison-Wesley (1990).

斉藤康己, 斉藤康己, 1990 .

82-29 Common LISP 概観

斉藤康己, 1982 .

中島秀之著, "Prolog", 産業図書, B5判, 165p., \1,800, 1983

斉藤康己, 1984 .

Axiomatic Definitions of Programming Languages, A Theoretical Assessment(Preliminary Report)

斉藤康己, 1980 .