检索到 75 条 主题词=Logic 的结果
-
中文图书1.用Logic Pro轻松制作你的短视频音乐 J618.9/C316-2
馆藏复本：2
可借复本：0 陈飞编著
人民邮电出版社 2023.10
(0) 馆藏 -
中文图书2.音乐制作7天速成:Logic Pro编曲教程 J614.8/C316/2
馆藏复本：2
可借复本：0 陈飞编著
人民邮电出版社 2023.10
(0) 馆藏 -
西文图书3.An examination of a decision procedure / O1/O35
馆藏复本：2
可借复本：2 Oglesby, Francis C.
American Mathematical Society, 1962.
(0) 馆藏 -
西文图书4.Logic designer's manual / TN4-62/L566-2
馆藏复本：4
可借复本：4 Lenk, John D.,
Reston Pub. Co., c1977.
(0) 馆藏 -
西文图书5.Manual of logic circuits / TP331-62/M248
馆藏复本：1
可借复本：1 Maley, Gerald A.
Prentice-Hall, 1970.
(0) 馆藏 -
西文图书6.Symbolic logic and intelligent machines. O15/B512
馆藏复本：1
可借复本：1 Berkeley, Edmund Callis.
Reinhold Pub. Corp., [1959]
(0) 馆藏 -
西文图书7.Current issues in quantum logic / O141-53/B453
馆藏复本：3
可借复本：3 Beltrametti, Enrico G.
Plenum Press, c1981.
(0) 馆藏 -
西文图书8.Parallel logic programming in PARLOG : the language and its implementation / TP31/G823
馆藏复本：1
可借复本：1 Gregory, Steve.
Addison-Wesley Pub. Co., c1987.
(0) 馆藏 -
西文图书9.A survey of mathematical logic. / O14/W246
馆藏复本：3
可借复本：3 Wang Hao.
Science P., 1962.
(0) 馆藏 -
西文图书10.A course in mathematical logic / 51.3055, O141/M278
馆藏复本：6
可借复本：6 Manin, IU. I.
World Publishing Co., c1977.
(0) 馆藏 -
西文图书11.Computer logic, testing, and verification / TP302/R845
馆藏复本：5
可借复本：5 Roth, J. Paul
Computer Science Press, c1980.
(0) 馆藏 -
西文图书12.Logical design using integrated circuits / TP302/B391
馆藏复本：1
可借复本：1 Becher, William D.,
Hayden Book Co., c1977.
(0) 馆藏 -
西文图书13.The axiomatic method with special reference to geometry and physics : Proceedings of an internati... 51.234/H513, O14/H513
馆藏复本：3
可借复本：3 Henkin, L鈋on,
North-Holland Pub. Co., 1959.
(0) 馆藏 -
西文图书14.Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July... O141.3-532/C951
馆藏复本：2
可借复本：2 Crossley,J.N.
North-Holland Pub. Co. ; 1965.
(0) 馆藏 -
西文图书15.Fuzzy logic in knowledge engineering / O159/P896
馆藏复本：1
可借复本：1 Prade, Henri M.
TèUV Rheinland, c1986.
(0) 馆藏 -
西文图书16.Logic programming and databases / TP311/C415
馆藏复本：1
可借复本：1 Ceri, Stefano,
Springer-Verlag, c1990.
(0) 馆藏 -
西文图书17.Introduction to mathematical logic : set theory, computable functions, model theory / O141/M251
馆藏复本：1
可借复本：1 Malitz, Jerome,
Springer-Verlag, c1979.
(0) 馆藏 -
西文图书18.A logical analysis of the theory of relativity / O412.1/T627
馆藏复本：1
可借复本：1 To?rnebohm, Ha?kan.
Almqvist & Wiksell, 1952.
(0) 馆藏 -
西文图书19.Communication : a logical model. O14/H296
馆藏复本：1
可借复本：1 Harrah, David.
M. I. T. Press, 1963.
(0) 馆藏 -
西文图书20.Electronic logic circuits / TP331/G449
馆藏复本：1
可借复本：1 Gibson, J. R.
Edward Arnold, 1979.
(0) 馆藏
