醒吾科技大學圖書館 |

登入

回首頁

Knowledge in action : logical foundations for specifying and implementing dynamical systems

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	logical foundations for specifying and implementing dynamical systems
作者:	ReiterRaymond,
出版地:	Cambridge, Mass.
出版者:	MIT Press;
出版年:	c2001
面頁冊數:	xvi, 424 p.ill. : 24 cm.;
標題:	Expert systems (Computer science) -
標題:	Knowledge representation (Information theory) - Congresses -
標題:	Logic, Symbolic and mathematical - Congresses -
ISBN:	0-262-18218-1

Knowledge in action : logical foundations for specifying and implementing dynamical systems
Reiter, Raymond

Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymond Reiter - Cambridge, Mass. : MIT Press, c2001. - xvi, 424 p. ; ill. ; 24 cm..
Includes bibliographical references (p. [409]-418) and index.
ISBN 0-262-18218-1
Expert systems (Computer science)Knowledge representation (Information theory)Logic, Symbolic and mathematical -- Congresses -- Congresses

Knowledge in action : logical foundations for specifying and implementing dynamical systems
LDR:00527nam0 2200157 i 450 001 127012
005 20120618113655.0
010 1 $a 0-262-18218-1 $b hbk. $d NT2433
100 $a 20071107d2001 m y0engy01 b
101 1 $a eng
102 $a us
105 $a a z 000zy
200 1 $a Knowledge in action $e logical foundations for specifying and implementing dynamical systems $f Raymond Reiter
210 $a Cambridge, Mass. $d c2001 $c MIT Press
215 1 $a xvi, 424 p. $c ill. $d 24 cm.
320 $a Includes bibliographical references (p. [409]-418) and index
606 $2 lc $a Expert systems (Computer science) $3 185126
606 $a Knowledge representation (Information theory) $x Congresses $3 95834 $3 220595
606 $a Logic, Symbolic and mathematical $x Congresses $3 99579 $3 220596
676 $a 006.3/32
700 $a Reiter $b Raymond $3 111574