A sequent calculus for automated reasoning in symbolic computation systems
From MaRDI portal
Publication:1895410
DOI10.1006/jsco.1995.1011zbMath0836.68062MaRDI QIDQ1895410
Gianna Cioni, Alfonso Miola, Attilio Colagrossi
Publication date: 16 August 1995
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1995.1011
68W30: Symbolic computation and algebraic computation
03B35: Mechanization of proofs and logical operations
Related Items