Theorem proving in a mathematical information environment

DOI10.1007/BF02666993zbMath0945.68532OpenAlexW2071216982MaRDI QIDQ1288657

K. Appert

Publication date: 15 September 1999

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

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

Mathematics Subject Classification ID

Related Items

First-order logics of quasiary predicates

Uses Software

• APS-1
• APS

Cites Work

• Unnamed Item
• Unnamed Item
• Conditional rewriting logic as a unified model of concurrency
• Computations in APS
• Truly concurrent constraint programming
• Some problems in the theories of automata and artificial intelligence