Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
The history of FORTRAN I, II, and III
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Elephant 2000: a programming language based on speech acts
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Hi-index | 0.00 |