Division of Informatics
Forrest Hill & 80 South Bridge
|
Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work. | ||
PhD Thesis | ||
| PT8709 | 1987 PhD Thesis | Inder,R |
|---|---|---|
| The Computer Simulation of Syllogism Solving Using Restricted Mental Models. | ||
Research Paper | ||
| RP636 | 1993 Research Paper | Vargas-Vera,M; Robertson,DS; Inder,R |
| Combining Prolog Programs in a Techniques Editing System | ||
| RP610 | 1992 Research Paper | Vargas-Vera,M; Robertson,DS; Inder,R |
| An Environment for Combining Prolog Programs | ||
| RP612 | 1992 Research Paper | Vargas-Vera,M; Robertson,DS; Inder,R |
| A Mathematical Framework for the Problem of Combination of Prolog Programs | ||
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}