Toward computer-aided induction
Toward computer-aided induction
Ryszard Stanisław Michalski
Details
OL Work ID
OL5339776W
Subjects
AQVAL programs (Computer programs)
Induction (Mathematics)
Many-valued logic
Find this book
Open Library