> Publishers' series
-
Logic programming formal methods and practical applications ed. by Christoph Beierle
Amsterdam; Oxford [u.a.]: North Holland, 1995
-
Evidence theory and its applications 2 Jiwen Guan; David A. Bell
Amsterdam: North-Holland, 1992
-
Evidence theory and its applications 1 Jiwen Guan; David A. Bell
Amsterdam: North-Holland, 1991
-
Formal techniques in artificial intelligence a sourcebook ed. by Ranan B. Banerji
Amsterdam [u.a.]: North-Holland, 1990
-
Topics in expert system design methodologies and tools ed. by Giovanni Guida
Amsterdam [u.a.]: North-Holland, 1989
-
Concurrency control in distributed database systems Wojciech Cellary; Erol Gelenbe; Tadeusz Morzy
Amsterdam [u.a.]: North-Holland, 1988
-
The ecology of computation ed. by B. A. Hubermann
Amsterdam [u.a.]: North Holland, 1988
-
Computers and languages theory and practice Anton Nijholt
Amsterdam [u.a.]: North-Holland, 1988
-
Meta-level inference representing and learning control information in artificial intelligence
Amsterdam [u.a.]: North-Holland, 1986