Author(s)
Bibliographic Information
Studies in computer science and artificial intelligence
North-Holland
Search this Book/Journal
Related Books： 1-12 of 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
Available at 21 libraries
-
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
Available at 8 libraries
-
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
Available at 21 libraries
-
4
- Theory and applications of problem solving
-
B. Zhang, L. Zhang
North-Holland 1992 Studies in computer science and artificial intelligence 9
Available at 24 libraries
-
5
- Tree automata and languages
-
edited by Maurice Nivat, Andreas Podelski
North-Holland 1992 Studies in computer science and artificial intelligence 10
Available at 25 libraries
-
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
Available at 29 libraries
-
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
Available at 32 libraries
-
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
Available at 14 libraries
-
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
Available at 29 libraries
-
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.
Available at 29 libraries
-
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
Available at 21 libraries
-
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
Available at 31 libraries