Login / Signup

Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts.

Masaki KitanoSeikoh NishitaTsutomu Ishikawa
Published in: MICAI (2006)
Keyphrases