Tools

LEADER 01190cam a2200337Ii 4500

001 ocm04277397;

005 20141212013516.0;

008 781006s1978 wb 001 0 eng d;

020 a| 3540087389;

035 a| (Sirsi) o04277397;

035 a| (OCoLC)04277397;

040 a| SDRc| SDRd| EREd| UtOrBLW;

049 a| ERE*;

090 a| Q335b| .H3x;

100 1 a| Hájek, Petr.=| ^A110925;

245 10 a| Mechanizing hypothesis formation :b| mathematical foundations for a general theory /c| by Petr Hájek and Tomáš Havránek.;

260 a| Berlin :b| Springer-Verlag,c| 1978.;

300 a| xv, 396 pages ;c| 25 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

500 a| Includes index.;

504 a| Bibliography: p. 387.;

650 0 a| Artificial intelligence.=| ^A15394;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

650 0 a| Computer simulation.=| ^A72820;

700 1 a| Havránek, Tomáš.=| ^A555030;

919 a| BOOK;

596 a| 1;

998 a| 150028;

999 a| Q335 .H3Xw| LCc| 1i| 310372001728285d| 11/15/2012f| 11/15/2012g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 5/28/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Mechanizing hypothesis formation : mathematical foundations for a general theory / by Petr Hájek and Tomáš Havránek.

Author/creator	Hájek, Petr
Other author	Havránek, Tomáš.
Format	Book
Publication Info	Berlin : Springer-Verlag, 1978.
Description	xv, 396 pages ; 25 cm
Subjects	Artificial intelligence. Logic, Symbolic and mathematical. Computer simulation.

General note	Includes index.
Bibliography note	Bibliography: p. 387.
ISBN	3540087389

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	Q335 .H3X	✔ Available	Place Hold

Mechanizing hypothesis formation : mathematical foundations for a general theory / by Petr Hájek and Tomáš Havránek.

Click here for more information about this title

Availability