Mathematical Theory Exploration

DOI10.1007/11814771_1zbMath1221.03014OpenAlexW1502680337MaRDI QIDQ3613395

Bruno Buchberger

Publication date: 12 March 2009

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11814771_1

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

An introduction to mechanized reasoning ⋮ Loop invariants

This page was built for publication: Mathematical Theory Exploration