On the Formalization of the Heat Conduction Problem in HOL.

Elif Deniz Adnan Rashid Osman Hasan Sofiène Tahar

Published in: CICM (2022)

Keyphrases

theorem prover
formal methods
natural deduction
heat transfer
knowledge representation
higher order logic
thermal conductivity
heat flow
real world
artificial intelligence
formal model
formal analysis
multi agent systems
higher order
operational semantics
chemical reaction