Mathematical Knowledge Management

From MaRDI portal

Revision as of 22:24, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5313072

Jump to:navigation, search

DOI10.1007/B100478zbMath1108.68601OpenAlexW4234388457MaRDI QIDQ5313072

Claudio Sacerdoti Coen

Publication date: 26 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (6)

Mtac: A monad for typed tactic programming in Coq ⋮ User interaction with the Matita proof assistant ⋮ An Interactive Driver for Goal-directed Proof Strategies ⋮ Formal Reasoning Using Distributed Assertions ⋮ A compact kernel for the calculus of inductive constructions ⋮ Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I

This page was built for publication: Mathematical Knowledge Management

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