mechanized reasoning
Recently Published Documents

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals An introduction to mechanized reasoning

2016 ◽  
Vol 66 ◽  
pp. 26-39 ◽  
Author(s):  
Manfred Kerber ◽  
Christoph Lange ◽  
Colin Rowat
Keyword(s):  
Mechanized Reasoning

A case-study in algebraic manipulation using mechanized reasoning tools

2010 ◽  
Vol 87 (9) ◽  
pp. 1936-1949 ◽  
Author(s):  
J. Aransay ◽  
C. Domínguez
Keyword(s):  
Algebraic Manipulation ◽  
Mechanized Reasoning

Mechanized reasoning in Homological Algebra

2008 ◽  
Vol 21 (4) ◽  
pp. 265-267
Author(s):  
Jesús Aransay
Keyword(s):  
Homological Algebra ◽  
Mechanized Reasoning

scholarly journals The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics

2001 ◽  
Vol 32 (4) ◽  
pp. 305-332
Author(s):  
Alessandro Armando ◽  
Alessandro Coglio ◽  
Fausto Giunchiglia ◽  
Silvio Ranise
Keyword(s):  
Reasoning Systems ◽  
Mechanized Reasoning ◽  
Control Layer

scholarly journals Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions. Foreword from the Editors

2001 ◽  
Vol 32 (1-2) ◽  
pp. 1-2
Author(s):  
Tomás Recio ◽  
Manfred Kerber
Keyword(s):  
Computer Algebra ◽  
Mechanized Reasoning
Load More ...
Sign in / Sign up

Export Citation Format

Share Document