Login / Signup

Knowledge Representation and Inference Based on First-Order Modal Logic.

Koji IwanumaMasateru Harao
Published in: LP (1987)
Keyphrases