Proof by analogy in mural

DOI10.1007/BF01211605zbMath0835.68106MaRDI QIDQ1898818

Sunil Vadera

Publication date: 16 April 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

heuristicsanalogyautomatic theorem proving

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Proof by analogy in mural ⋮ Model evolution and refinement

Uses Software

• mural

Cites Work

• Computational approaches to analogical reasoning: A comparative analysis
• Proof by analogy in mural
• A paradigm for reasoning by analogy
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof by analogy in mural