Login / Signup

Horn: an Inference Engine Prototype to Implement Intelligent Systems.

Antonio D'Angelo
Published in: Foundations of Logic and Functional Programming (1986)
Keyphrases