Paper Info
Title
RELVIEW - A Computer System for the Manipulation of Relations
Year
DOI
Venue
1993
10.1007/978-1-4471-3227-1_43
AMAST
Keywords
Field
DocType
computer system
Programming language,Logical matrix,Computer science,Automated proof checking,Theoretical computer science,Pencil (mathematics)
Conference
ISBN
Citations 
PageRank 
3-540-19852-0
8
2.59
References 
Authors
4
2
Name
Order
Citations
PageRank
Rudolf Berghammer156976.48
Gunther Schmidt220330.70