Søkte etter:

2 treff

Prolog and expert systems
Kenneth A. Bowen
Bok Engelsk 1991
Model theory for modal logic : Kripke models for modal predicate calculi
Bowen, Kenneth A.
Bok Engelsk 1979