Mechanizing hypothesis formation
Mechanizing hypothesis formation
Petr Hájek
Details
OL Work ID
OL19887129W
Subjects
Computer simulation
Symbolic and mathematical Logic
Artificial intelligence
Mathematics
Mathematics, general
Find this book
Open Library