搜索包含 logic 的图书 - 暨南大学图书馆

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

	Logic design principles : with emphasis on testable semicustom circuits 0 索取号：TP302/E906 作者：McCluskey、 Edward J.、 1929-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1986.		Logic design and simulation 0 索取号：TP302/E903 作者：出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science PUb. Co., 1986.
	Digital logic and microprocessors 0 索取号：TP302/E9011 作者：Hill、 Fredrick J.、Peterson、 Gerald R.、出版社：New York : Wiley, 1984.		Digital logic design 0 索取号：TP302/E908 作者：Holdsworth、 B. (Brian)、出版社：London ; Boston : Butterworths, 1982.
	Modern logic design 0 索取号：TP302/E907 作者：Green、 David、 1941-、出版社：Workingham, England ; Reading, Mass. : Addison-Wesley, 1986.		Logic design with Pascal : computer-aided design techniques 0 索取号：TP302/E9014 作者：Downs、 Thomas、 1946-、Schulz、 Mark F.、 1951-、出版社：New York : Van Nostrand Reinhold, 1989,c1988.
	Proceedings, the Sixth Annual IEEE Symposium on Logic in Computer Science [electronic resource] : July 15-18, 1991, Amsterdam, the Netherlands 0 索取号：TP301-53/E991/6 作者：Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1991.		Proceedings 0 索取号：TP301-53/E991/1986 作者：Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
	Handbook of logic in computer science 0 索取号：TP3/E9913 作者：出版社：Oxford : Clarendon Press ; New York : Oxford University Press, 1992-<1995 >		Handbook of logic in artificial intelligence and logic programming 0 索取号：TP18-62/E992 作者：出版社：Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1993-1998.
	From natural language processing to logic for expert systems : a logic based approach to artificial intelligence 0 索取号：TP18/E9918 作者：出版社：Chichester ; New York : John Wiley & Sons Wiley, 1991.		Logic for problem solving 0 索取号：TP11-51/E801 作者：Kowalski、 Robert.、出版社：New York : Elsevier North Holland, 1979.
	Logic for applications = 应用逻辑 0 索取号：TP301/E20071.2 作者：Nerode、 Anil、 1932-、Shore、 Richard A.、 1946-、出版社：北京 : China Machine Press, 2006.		Fundamentals of digital logic with VHDL design / Stephen D. Brown, Zvonko G. Vranesic = 数字逻辑设计(VHDL)基础 0 索取号：TP33/E20071 作者：Brown、 Stephen D.、Vranesic、 Zvonko G.、出版社：北京 : 机械工业出版社 ; McGraw-Hill Education (Asia) Co., 2002.
	Temporal logic and temporal logic programming 0 索取号：TP311.11/E20071 作者：Duan、 Zhenhua.、出版社：Beijing : Science Press, 2005.		Words without objects : semantics, ontology, and logic for non-singularity 0 索取号：B085/E20072 作者：Laycock、 Henry.、出版社：Oxford : Oxford University Press, 2006.

	Logic design principles : with emphasis on testable semicustom circuits 0 索取号：TP302/E906 作者：McCluskey、 Edward J.、 1929-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1986.		Logic design and simulation 0 索取号：TP302/E903 作者：出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science PUb. Co., 1986.
	Digital logic and microprocessors 0 索取号：TP302/E9011 作者：Hill、 Fredrick J.、Peterson、 Gerald R.、出版社：New York : Wiley, 1984.		Digital logic design 0 索取号：TP302/E908 作者：Holdsworth、 B. (Brian)、出版社：London ; Boston : Butterworths, 1982.
	Modern logic design 0 索取号：TP302/E907 作者：Green、 David、 1941-、出版社：Workingham, England ; Reading, Mass. : Addison-Wesley, 1986.		Logic design with Pascal : computer-aided design techniques 0 索取号：TP302/E9014 作者：Downs、 Thomas、 1946-、Schulz、 Mark F.、 1951-、出版社：New York : Van Nostrand Reinhold, 1989,c1988.
	Proceedings, the Sixth Annual IEEE Symposium on Logic in Computer Science [electronic resource] : July 15-18, 1991, Amsterdam, the Netherlands 0 索取号：TP301-53/E991/6 作者：Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1991.		Proceedings 0 索取号：TP301-53/E991/1986 作者：Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、出版社：Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
	Handbook of logic in computer science 0 索取号：TP3/E9913 作者：出版社：Oxford : Clarendon Press ; New York : Oxford University Press, 1992-<1995 >		Handbook of logic in artificial intelligence and logic programming 0 索取号：TP18-62/E992 作者：出版社：Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1993-1998.
	From natural language processing to logic for expert systems : a logic based approach to artificial intelligence 0 索取号：TP18/E9918 作者：出版社：Chichester ; New York : John Wiley & Sons Wiley, 1991.		Logic for problem solving 0 索取号：TP11-51/E801 作者：Kowalski、 Robert.、出版社：New York : Elsevier North Holland, 1979.
	Logic for applications = 应用逻辑 0 索取号：TP301/E20071.2 作者：Nerode、 Anil、 1932-、Shore、 Richard A.、 1946-、出版社：北京 : China Machine Press, 2006.		Fundamentals of digital logic with VHDL design / Stephen D. Brown, Zvonko G. Vranesic = 数字逻辑设计(VHDL)基础 0 索取号：TP33/E20071 作者：Brown、 Stephen D.、Vranesic、 Zvonko G.、出版社：北京 : 机械工业出版社 ; McGraw-Hill Education (Asia) Co., 2002.
	Temporal logic and temporal logic programming 0 索取号：TP311.11/E20071 作者：Duan、 Zhenhua.、出版社：Beijing : Science Press, 2005.		Words without objects : semantics, ontology, and logic for non-singularity 0 索取号：B085/E20072 作者：Laycock、 Henry.、出版社：Oxford : Oxford University Press, 2006.