Rule-based induction
From MaRDI portal
Publication:1334895
DOI10.1007/BF01384232zbMath0810.68114MaRDI QIDQ1334895
Publication date: 26 September 1994
Published in: Formal Methods in System Design (Search for Journal in Brave)
03B35: Mechanization of proofs and logical operations
Uses Software
Cites Work