Works matching IS 02698889 AND DT 1995 AND VI 10 AND IP 4
Results: 11
Workshop Report: Constraint languages/systems and their use in problem modelling.
- Published in:
- Knowledge Engineering Review, 1995, v. 10, n. 4, p. 405, doi. 10.1017/S0269888900007578
- By:
- Publication type:
- Article
Formal specification languages in knowledge and software engineering.
- Published in:
- Knowledge Engineering Review, 1995, v. 10, n. 4, p. 361, doi. 10.1017/S0269888900007566
- By:
- Publication type:
- Article
Formal methods in knowledge engineering.
- Published in:
- Knowledge Engineering Review, 1995, v. 10, n. 4, p. 345, doi. 10.1017/S0269888900007554
- By:
- Publication type:
- Article
Verification and validation of knowledge-based systems with formal specifications.
- Published in:
- Knowledge Engineering Review, 1995, v. 10, n. 4, p. 331, doi. 10.1017/S0269888900007542
- By:
- Publication type:
- Article
Referees for The Knowledge Engineering Review Papers—Volume 10.
- Published in:
- Knowledge Engineering Review, 1995, v. 10, n. 4, p. 425, doi. 10.1017/S0269888900007621
- Publication type:
- Article
From the journals.….
- Published in:
- Knowledge Engineering Review, 1995, v. 10, n. 4, p. 415, doi. 10.1017/S026988890000761X
- Publication type:
- Article
Artificial intelligence techniques in Prolog.
- Published in:
- Knowledge Engineering Review, 1995, v. 10, n. 4, p. 412, doi. 10.1017/S0269888900007608
- By:
- Publication type:
- Article
Executable modal and temporal logics.
- Published in:
- Knowledge Engineering Review, 1995, v. 10, n. 4, p. 411, doi. 10.1017/S0269888900007591
- By:
- Publication type:
- Article
The art of Prolog—second edition.
- Published in:
- Knowledge Engineering Review, 1995, v. 10, n. 4, p. 411, doi. 10.1017/S026988890000758X
- By:
- Publication type:
- Article
KER volume 10 issue 4 Cover and Back matter.
- Published in:
- Knowledge Engineering Review, 1995, v. 10, n. 4, p. b1, doi. 10.1017/S0269888900007530
- Publication type:
- Article
KER volume 10 issue 4 Cover and Front matter.
- Published in:
- Knowledge Engineering Review, 1995, v. 10, n. 4, p. f1, doi. 10.1017/S0269888900007529
- Publication type:
- Article