Resolution methods for the decision problem
C. Fermüller ... [et al.]
Bok Engelsk 1993
| Utgitt | Berlin : Springer , c1993
|
|---|---|
| Omfang | VIII, 205 s.
|
| Emner | Artificial intelligence - Mathematical models
Decision-making - Mathematical models Logisk databehandling symbolsk logikk automatisk deduksjon matematisk kunstig intelligens beslutningsteori |
| ISBN | 0387567321. - 3540567321
|
