大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 logic 的图书(共526本)

语言、逻辑与认知 : 语言逻辑和语言哲学论集 : an essay in language, logic and philosophy

0
索取号:H0-05/20078
作者:蔡曙山、
出版社:北京 : 清华大学出版社, 2007

数字音乐创世纪Apple Logic Pro 7

0
索取号:J619.1-39/20081
作者:杨旋、
出版社:北京 : 机械工业出版社, 2007

PADS Logic 高速电路设计. 电路图篇

0
索取号:TN702/20084
作者:王俞允 (电力)、王鹏 (电力)、池雅庆 (电力)、柳伟 (电力)、
出版社:北京 : 中国电力出版社, 2007

The racial logic of politics : Asian Americans and party competition

0
索取号:D771.20/E20072
作者:Kim、 Thomas P.、 1969-、
出版社:Philadelphia : Temple University Press, 2007.

Foundations of finance : the logic and practice of financial management

0
索取号:F831.2/E20071.6
作者:Keown、 Arthur J.、Martin、 John D.、 1945-、Petty、 J. William、 1942-、
出版社:Upper Saddle River, N.J. : Pearson Prentice Hall, c2008.

Computability and logic = 可计算性与数理逻辑

0
索取号:O141.3/E20071.4
作者:Boolos、 George.、Burgess、 John P.、 1948-、Jeffrey、 Richard C.、
出版社:Beijing : Pub. House of Electronic Industry, 2003.

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

0
索取号:TP302.2-532/E20011/1988
作者:Workshop on Computer Science Logic (2nd : 1988 : Duisburg、 Germany)、Börger、 E. (Egon)、 1946-、Kleine Büning、 H. (Hans)、Richter、 Michael M.、 1938-、
出版社:Berlin : Springer-Verlag, c1989.

Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

0
索取号:TP301-53/E903/1989
作者:Botik '89 (1989 : Pereslavlʹ-Zalesskiĭ、 R.S.F.S.R.)、Meyer、 Albert R.、Taitslin、 M. A. (Mikhail A.)、 1936-、
出版社:Berlin : Springer-Verlag, c1989.

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

0
索取号:TP3/E997
作者:
出版社:Berlin ; New York : Springer-Verlag, c1990.

Compound statements and mathematical logic

0
索取号:O14/E701
作者:Cangelosi、 Vincent E.、
出版社:Columbus, Ohio : C.E. Merrill Books, [1967].

Mathematical logic

0
索取号:O141/E701
作者:Shoenfield、 Joseph R. (Joseph Robert)、 1927-、
出版社:Reading, Mass. : Addison-Wesley Pub. Co., c1967.

High-speed integrated circuit technology: towards 100 GHz logic

0
索取号:TN4/E20022
作者:
出版社:Singapore ; River Edge NJ : World Scientific, c2001.

Mathematical logic

0
索取号:O141/E993
作者:Summer School and Conference on Mathematical Logic (1988 : Chaæika、 Varnenski okræug、 Bulgaria)、Petkov、 Petio Petrov.、Heyting、 A. (Arend)、 1898-、
出版社:New York : Plenum Press, c1990.

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

0
索取号:O141-53/E901
作者:Logic Colloquium '88 (1988 : Padova、 Italy)、Ferro、 Robert.、
出版社:Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.

Solutions to selected exercises in the logic book

0
索取号:O141/E906
作者:Bergmann、 Merrie.、Moor、 James、 1942-、Nelson、 Jack、 1944-、
出版社:New York : Random House, c1980.

Mathematics and logic : retrospect and prospects

0
索取号:O1-0/E702
作者:Kac、 Mark.、Ulam、 Stanislaw M.、
出版社:London ; Middlesex : Penguin, 1968.
最近添加的分类