한국과학기술원 도서관

서지주요정보
Symbolic and numerical computation for artificial intelligence
서명 / 저자	Symbolic and numerical computation for artificial intelligence / edited by Bruce Randall Donald, Deepak Kapur, Joseph L. Mundy.
저자명	Donald, Bruce R.;Kapur, Deepak.;Mundy, Joseph L.
발행사항	London ; San Diego, CA : Academic Press, 1992.
총서명	Computational mathematics and applications

등록번호

1951839

소장위치/청구기호

문지 보존서고

Q334 .S89 1992

도서상태

이용가능(대출불가)

반납예정일

서지기타정보
청구기호	Q334 .S89 1992
형태사항	369 p. : ill. ; 26 cm.
언어	English
일반주기	Based on talks given at a workshop on the Integration of Numerical and Symbolic Computing Methods, Saratoga Springs, N.Y., July 1990.
서지주기	Includes bibliographical references and indexes.
주제	Artificial intelligence --Congresses.
LCCN	93159060
ISBN	0122205359 (hbk.)

QR CODE

전체보기

AISB91 : proceedings of the eighth Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, 16-19 April 1991, University of Leeds AISB91 Q334 .S6315 1991
Artificial intelligence research : First Southern African Conference for AI Research, SACAIR 2020 Muldersdrift, South Africa, February 22-26, 2021 proceedings Southern African Conference for Artificial Intelligence Research, SACAIR Q334 .S68 2020
Symbolic and numerical computation for artificial intelligence Donald, Bruce R Q334 .S89 1992
Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990), March 4-7, 1990, Pacific Grove, California Parikh, Rohit Q334 .T48 1990
Theoretical aspects of reasoning about knowledge : proceedings of the fourth conference (TARK 1992), March 22-25, 1992, Monterey, California Moses, Yoram Ofer Q334 .T48 1992

메뉴