The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Documents on: logic

EB462 1990 Edited Book Cooper,RA; Mukai,K; Perry,J
Situation Theory and its Applications,Vol. 1
PP862 1994 Paper in Conference Proceedings Richards,B; Kraan,I; Smaill,AD; Wiggins,G
Mollusc: a General Proof Development Shell for Sequent Based Logics

[Search These Pages] [DAI Home Page] [Comment]