The evidence algorithm and problems of representation and processing of mathematical computer knowledge

DOI10.1007/BF02742275zbMath0966.68191OpenAlexW2037024538MaRDI QIDQ1582906

R. Smith

Publication date: 16 October 2000

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02742275

zbMATH Keywords

theorem proving

Mathematics Subject Classification ID

Knowledge representation (68T30)

Uses Software

• Theorema
• APS-1
• APS

Cites Work

• Computations in APS
• Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
• Some problems in the theories of automata and artificial intelligence
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The evidence algorithm and problems of representation and processing of mathematical computer knowledge