大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 logic 的图书(共526本)
Electronic logic systems0索取号:TP331.1/E905 作者:Almaini、 A. E. A.、 1945-、 出版社:Englewood Cliffs, N.J. : Prentice-Hall International, 1986. | Digital circuits and logic design0索取号: 作者:Lee、 Samuel C.、 1937-、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1976. | ||
Using integrated circuit logic devices0索取号:TP331/E906 作者:Horn、 Delton T.、 出版社:Blue Ridge Summit, PA. : Tab Books, 1984. | Digital circuits : logic and design0索取号:TP331/E901 作者:Emery、 Ronald C.、 1931-、 出版社:New York : M. Dekker, 1985. | ||
Structure, logic, and program design0索取号:TP33/E905 作者:Cohen、 Alan.、 出版社:Chichester [West Sussex] ; New York : Wiley, 1983. | Equational logic as a programming language0索取号:TP312/E9027 作者:O'Donnell、 Michael J.、 1952-、 出版社:London Cambridge, Mass. : MIT Press, 1985. | ||
Algorithmic logic0索取号: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 programming0索取号:TP312/E902 作者:Johansson、 Anna-Lena、 1951-、Eriksson-Granskog、 Agneta、 1957-、Edman、 Anneli、 1952-、 出版社:Berlin ; New York : Springer-Verlag, 1989. | ||
Constraint satisfaction in logic programming0索取号:TP311/E906 作者:Van Hentenryck、 Pascal.、 出版社:Cambridge, Mass. : MIT Press, 1989. | Parallel logic programming techniques0索取号:TP311/E905 作者:Taylor、 Stephen、 1956-、 出版社:Englewood Cliffs, N.J. : Prentice Hall, 1989. | ||
Parallel logic programming0索取号:TP311/E9952 作者:Tick、 Evan、 1959-、 出版社:Cambridge, Mass. : MIT Press, 1991. | Logic programming : systematic program development0索取号:TP311/E998 作者:Deville、 Yves、 1960-、 出版社:Wokingham, England ; Reading, Mass. : Addison-Wesley, 1990. | ||
Logic programming and databases0索取号: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 : proceedings0索取号: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, 19890索取号: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, 19870索取号:TP31-53/E9011/6 作者: 出版社:Berlin ; New York : Springer-Verlag, 1988. |
最近添加的分类


粤公网安备 44030602003680号