著者
書誌事項
Studies in computer science and artificial intelligence
North-Holland
この図書・雑誌をさがす
関連文献： 12件中 1-12を表示
-
1
- Principles of logic and logic programming
-
G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos
Elsevier 1996 Studies in computer science and artificial intelligence 13
所蔵館21館
-
2
- Problem solving : methods, programming, and future concepts
-
Oleg V. German and Dimitri V. Ofitserov
Elsevier 1995 Studies in computer science and artificial intelligence 12
所蔵館8館
-
3
- Logic programming : formal methods and practical applications
-
edited by Christoph Beierle, Lutz Plümer
Elsevier 1995 Studies in computer science and artificial intelligence 11
所蔵館21館
-
4
- Theory and applications of problem solving
-
B. Zhang, L. Zhang
North-Holland 1992 Studies in computer science and artificial intelligence 9
所蔵館24館
-
5
- Tree automata and languages
-
edited by Maurice Nivat, Andreas Podelski
North-Holland 1992 Studies in computer science and artificial intelligence 10
所蔵館25館
-
6
- Evidence theory and its applications
-
Jiwen Guan, David A. Bell
North-Holland , Distributors for the U.S. and Canada, Elsevier Science Pub. Co. 1991-1992 Studies in computer science and artificial intelligence 7-8
v. 1 , v. 2
所蔵館29館
-
7
- Formal techniques in artificial intelligence : a sourcebook
-
edited by Ranan B. Banerji
North-Holland , Distributors for the United States and Canada, Elsevier Science Pub. Co. 1990 Studies in computer science and artificial intelligence 6
所蔵館32館
-
8
- Topics in expert system design : methodologies and tools
-
edited by Giovanni Guida, Carlo Tasso
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1989 Studies in computer science and artificial intelligence v. 5
所蔵館14館
-
9
- Computers and languages : theory and practice
-
Anton Nijholt
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1988 Studies in computer science and artificial intelligence 4
所蔵館29館
-
10
- Concurrency control in distributed database systems
-
Wojciech Cellary, Erol Gelenbe, Tadeusz Morzy
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1988 Studies in computer science and artificial intelligence 3
: U.S.
所蔵館29館
-
11
- The Ecology of computation
-
edited by B.A. Huberman
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1988 Studies in computer science and artificial intelligence 2
: pbk
所蔵館21館
-
12
- Meta-level inference : representing and learning control information in artificial intelligence
-
Bernard Silver
North-Holland 1986 Studies in computer science and artificial intelligence 1
所蔵館31館