Paper Info
Title
An Informal Discussion of Issues in Mechanically-Assisted Reasoning
Year
DOI
Venue
1991
10.1109/HOL.1991.596297
TPHOLs
Keywords
DocType
Citations 
government,logic,control systems,feedback,robustness,computer security,automatic control
Conference
1
PageRank 
References 
Authors
0.34
6
1
Name
Order
Citations
PageRank
Matt Kaufmann15620.74