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

Electronic logic systems

0
索取号：TP331.1/E905
作者：Almaini、 A. E. A.、 1945-、
出版社：Englewood Cliffs, N.J. : Prentice-Hall International, 1986.

Digital circuits and logic design

0
索取号：
作者：Lee、 Samuel C.、 1937-、
出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1976.

Using integrated circuit logic devices

0
索取号：TP331/E906
作者：Horn、 Delton T.、
出版社：Blue Ridge Summit, PA. : Tab Books, 1984.

Digital circuits : logic and design

0
索取号：TP331/E901
作者：Emery、 Ronald C.、 1931-、
出版社：New York : M. Dekker, 1985.

Structure, logic, and program design

0
索取号：TP33/E905
作者：Cohen、 Alan.、
出版社：Chichester [West Sussex] ; New York : Wiley, 1983.

Equational logic as a programming language

0
索取号：TP312/E9027
作者：O'Donnell、 Michael J.、 1952-、
出版社：London Cambridge, Mass. : MIT Press, 1985.

Algorithmic logic

0
索取号：TP312/E90112
作者：Mirkowska-Salwicka、 Grazyna.、Salwicki、 Andrzej.、
出版社：Dordrecht ; Boston : D. Reidel Pub. Co. ; Warszawa : PWN-Polish Scientific Publishers ; Norwell, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, 1987.

Prolog versus you : an introduction to logic programming

0
索取号：TP312/E902
作者：Johansson、 Anna-Lena、 1951-、Eriksson-Granskog、 Agneta、 1957-、Edman、 Anneli、 1952-、
出版社：Berlin ; New York : Springer-Verlag, 1989.

Constraint satisfaction in logic programming

0
索取号：TP311/E906
作者：Van Hentenryck、 Pascal.、
出版社：Cambridge, Mass. : MIT Press, 1989.

Parallel logic programming techniques

0
索取号：TP311/E905
作者：Taylor、 Stephen、 1956-、
出版社：Englewood Cliffs, N.J. : Prentice Hall, 1989.

Parallel logic programming

0
索取号：TP311/E9952
作者：Tick、 Evan、 1959-、
出版社：Cambridge, Mass. : MIT Press, 1991.

Logic programming : systematic program development

0
索取号：TP311/E998
作者：Deville、 Yves、 1960-、
出版社：Wokingham, England ; Reading, Mass. : Addison-Wesley, 1990.

Logic programming and databases

0
索取号：TP311/E999
作者：Ceri、 Stefano、 1955-、Gottlob、 G. (Georg)、Tanca、 L. (Letizia)、
出版社：Berlin ; New York : Springer-Verlag, 1990.

Programming language implementation and logic programming : international workshop PLILP '90, Link̈Оping, Sweden, August 20-22, 1990 : proceedings

0
索取号：TP31-53/E991/1990
作者：PLILP '90 (1990 : Link̈Оping、 Sweden)、Deransart、 Pierre.、MałУszýНski、 J. (Jan)、 1941-、
出版社：Berlin ; New York : Springer-Verlag, 1990.

Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

0
索取号：TP31-53/E9011/8
作者：Logic Programming Conference (8th : 1989 : Tokyo、 Japan)、Furukawa、 K̄Оichi.、Tanaka、 H. (Hazumi)、Fujisaki、 T. (Tetsunosuke)、
出版社：Berlin ; New York : Springer, 1991.

Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987

0
索取号：TP31-53/E9011/6
作者：
出版社：Berlin ; New York : Springer-Verlag, 1988.