Computational Logic and Continuous Mathematics, Pure and Applied

DOI10.1007/978-3-642-02614-0_1MaRDI QIDQ3637259zbMATH OpenOpenAlexFDO

Authors Rob Arthan

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_1

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Computer Science Logic
• Continuously-valued logic: Generalizations and applications. I
• Continuously valued logic: Generalization and applications. II
• scientific article; zbMATH DE number 1368926
• Computational logic: its origins and applications

Cited in

(3)

• scientific article; zbMATH DE number 1368926 (Why is no real title available?)
• Computer Science Logic
• Reasoning about continuous systems

This page was built for publication: Computational Logic and Continuous Mathematics, Pure and Applied

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637259)