Division of Informatics
Forrest Hill & 80 South Bridge
| RP729 | 1995 Research Paper | Kraan,I; Basin,D; Bundy,A |
|---|---|---|
| Middle-Out Reasoning for Synthesis and Induction | ||
| RP638 | 1993 Research Paper | Kraan,I; Basin,D; Bundy,A |
| Middle-Out Reasoning for Logic Program Synthesis | ||
| PP237 | 1992 Paper in Conference Proceedings | Bundy,A; Frank,I; Basin,D |
| An Adaption of Proof Planning to Declarer Play in Bridge | ||
![[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}