Contexts in mathematical reasoning and computation

From MaRDI portal

Publication:1895411

Jump to:navigation, search

DOI10.1006/JSCO.1995.1012zbMath0836.68107OpenAlexW2012225284MaRDI QIDQ1895411

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.1012

zbMATH Keywords

symbolic computation reasoning contexts Interactive Mathematical Proof System

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35)

Related Items (1)

IMPS: An updated system description

Uses Software

PVS

This page was built for publication: Contexts in mathematical reasoning and computation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1895411&oldid=14303097"