Analyst: A program package for proving identities (theorems) in axiomatic algorithmic-algebra systems

Cybernetics ◽  
1980 ◽  
Vol 15 (4) ◽  
pp. 467-473
Author(s):  
G. M. Kirsanov ◽  
G. E. Tseitlin ◽  
E. L. Yushchenko
1983 ◽  
Vol 15 (1) ◽  
pp. 104-104
Author(s):  
Gernot von Collani

2003 ◽  
Vol 28 (2) ◽  
pp. 222-239 ◽  
Author(s):  
Gunnar Karlström ◽  
Roland Lindh ◽  
Per-Åke Malmqvist ◽  
Björn O Roos ◽  
Ulf Ryde ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document