Formalization of the telegrapher's equations using higher-order-logic theorem proving
From MaRDI portal
Publication:6500552
Adnan Rashid, Sofiène Tahar, Osman Hasan, Elif Deniz
Publication date: 10 May 2024
Published in: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (Search for Journal in Brave)
This page was built for publication: Formalization of the telegrapher's equations using higher-order-logic theorem proving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6500552)
