Algebraic specification techniques and tools for software development—the ACT approach.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. 81, doi. 10.1017/S0269888900007748
- By:
- Publication type:
- Article
Works matching IS 02698889 AND DT 1996 AND VI 11 AND IP 1
Results: 14
1
2
From the journals.….
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. 85, doi. 10.1017/S0269888900007761
- Publication type:
- Article
3
The uncertain reasoner's companion: a mathematical perspective.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. 82, doi. 10.1017/S026988890000775X
- By:
- Publication type:
- Article
4
Concept formation and knowledge revision.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. 79, doi. 10.1017/S0269888900007736
- By:
- Publication type:
- Article
5
Artificial intelligence—a modern approach.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. 78, doi. 10.1017/S0269888900007724
- By:
- Publication type:
- Article
6
The uncertain reasoner's companion: a mathematical perspective.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. 73, doi. 10.1017/S0269888900007712
- By:
- Publication type:
- Article
7
Roles for intelligence in multimedia: report on the IMMI-1 workshop.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. 69, doi. 10.1017/S0269888900007700
- By:
- Publication type:
- Article
8
Research in machine scientific discovery and the domain sciences: Invited response to “Computer science research in scientific discovery”.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. 67, doi. 10.1017/S0269888900007694
- By:
- Publication type:
- Article
9
Computer science research on scientific discovery.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. 57, doi. 10.1017/S0269888900007682
- By:
- Publication type:
- Article
10
An introduction to executable temporal logics.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. 43, doi. 10.1017/S0269888900007670
- By:
- Publication type:
- Article
11
Automatic construction of reactive control systems using symbolic machine learning.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. 27, doi. 10.1017/S0269888900007669
- By:
- Publication type:
- Article
12
An overview of approaches to qualitative model construction.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. 1, doi. 10.1017/S0269888900007657
- By:
- Publication type:
- Article
13
KER volume 11 issue 1 Cover and Back matter.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. b1, doi. 10.1017/S0269888900007645
- Publication type:
- Article
14
KER volume 11 issue 1 Cover and Front matter.
- Published in:
- Knowledge Engineering Review, 1996, v. 11, n. 1, p. f1, doi. 10.1017/S0269888900007633
- Publication type:
- Article