An analysis of techniques for verification of logical correctness in rule based systems
Derek Lionel Nazareth
| Year of publication: |
1988
|
|---|---|
| Authors: | Nazareth, Derek L. |
| Publisher: |
(Ann Arbor, Mi.) : Univ. Microfilms Internat. |
| Extent: | XII, 338 S. [4 Microfiches] |
|---|---|
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Dissertation u.a. Prüfungsschriften |
| Thesis: | Cleveland, Ohio, Case Western Reserve Univ., Diss. 1988 |
| Source: |
Persistent link: https://www.econbiz.de/10004095415