Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning

DOI10.1007/978-3-642-02614-0_3zbMath1247.68233OpenAlexW2345778286MaRDI QIDQ3637261

Jacques Calmet

Publication date: 9 July 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_3

zbMATH Keywords

agentknowledgeabstractioncomputational modelingmechanized reasoning

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Uses Software

• OMRS

Cites Work

• Digital mechanics. An information process based on reversible universal cellular automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning