publicationentry of dblp and 1 other user:
(0)
This publication has not been reviewed yet.
rating distribution
average user rating
?
The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.
Handling Information Logics in a Graphical Proof Editor.
by:In: Computational Intelligence, Vol. 11
(1995)
, p. 297-322.
Resources (URL, PDF, PS...)