Proof methods

Elsevier eBooks 2026 Book chapter

View at publisher
DOI: 10.1016/b978-0-44-336747-2.00019-4
Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Formal Methods in Verification Reasoning and Knowledge

Publication details

Journal / source
Elsevier eBooks
Pages
197–200
Publication date
1 January 2026
Language
EN
Document type
Book chapter