Paper Info
Title
Computing, Solving, Proving: A Survey on the Theorema Project (Abstract)
Year
Venue
Keywords
1997
LPNMR
theorema project
Field
DocType
ISBN
Programming language,Computer science,Theorema,Theoretical computer science
Conference
3-540-63255-7
Citations 
PageRank 
References 
0
0.34
1
Authors
1
Name
Order
Citations
PageRank
Bruno Buchberger1847168.26