The use of mathematical programming to verify rule-based knowledge
| Year of publication: |
1996
|
|---|---|
| Authors: | O'Leary, D.E. ; Schaffer, J. |
| Published in: |
Annals of operations research. - New York, NY [u.a.] : Springer Science + Business Media, ISSN 0254-5330, ZDB-ID 2526293. - Vol. 65.1996, p. 181-194
|