The problem of naming and function replacement

DOI10.1007/BF00881903zbMath0783.68115WikidataQ114267033 ScholiaQ114267033MaRDI QIDQ1311398

Larry Wos

Publication date: 23 January 1994

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

zbMATH Keywords

representationnamingunsolved research problemfunction replacement

Mathematics Subject Classification ID

Cites Work

• Complexity and related enhancements for automated theorem-proving programs
• An implementation of hyper-resolution
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The problem of naming and function replacement