New directions in automated scientific discovery
From MaRDI portal
Publication:809999
zbMath0733.03019MaRDI QIDQ809999
Michael Stob, Scott Weinstein, Daniel N. Osherson
Publication date: 1991
Published in: Information Sciences (Search for Journal in Brave)
Learning and adaptive systems in artificial intelligence (68T05) Other applications of logic (03B80) Other classical first-order model theory (03C68)
Related Items (1)
This page was built for publication: New directions in automated scientific discovery