-
COMPUTABILITY AND LOGIC
—. BY GEORGE BOOLOS
索书号：O141/B724
标准编码：0-521-29967-5
出版信息：，THE PRESS SYNDCATE OF THE UNIVERSITY OF CAMBRIDGE c．1980 ：New York
-
CONSTRAINTS IN COMPUTATIONAL LOGICS :
—HUBERT COMON, CLAUDE MARCH鈋, RALF TREINEN (EDS.).
索书号：TP312/CH
标准编码：3-540-41950-0
出版信息：SPRINGER, 2001. Berlin ; London :
主题词： CONSTRAINT PROGRAMMING (COMPUTER SCIENCE)LOGIC PROGRAMMING
-
COMPUTER SCIENCE LOGIC :
—LAURENT FRIBOURG (ED.).
索书号：TP3/FL
标准编码：3540425543 (pbk. : a
出版信息：SPRINGER, c2001. Berlin : New York :
-
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS :
—MICHAEL MOORTGAT (ED.).
索书号：TP312/LACL/1998
标准编码：3-540-42251-X
出版信息：SPRINGER, 2001. Berlin ; London :
主题词： COMPUTATIONAL LINGUISTICSLANGUAGE AND LOGIC
-
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS :
—PHILIPPE DE GROOTE, GLYN MORRILL, CHRISTIAN RETOR鈋
索书号：TP312/DGP
标准编码：3-540-42273-0 (pbk.
出版信息：SPRINGER, c2001. Berlin ; New York :
-
COMPUTER ARCHITECTURE AND LOGIC DESIGN /
—THOMAS C. BARTEE.
索书号：TP33/BTC
标准编码：0-07-003909-7
出版信息：: MCGRAW-HILL,INC., c1991. New York
主题词： COMPUTER ARCHITECTURE.LOGIC DESIGN.
1 共： 6 条