Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: co-operative theorem proving
RP745
1995 Research Paper
Lowe,H
;
Bundy,A
; McLean,D
The Use of Proof Planning for Cooperative Theorem Proving
![[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}