Mechanizing hypothesis formation : mathematical foundations for a general theory /

Saved in:
Bibliographic Details
Main Author: Hájek, Petr
Other Authors: Havránek, Tomas (joint author.)
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, 1978.
Series:Universitext.
Subjects:

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AL32F0 C05206
Copy 1 Available  Place a Hold