LILOG: Sorts and Types in Artificial Intelligence 1989

Refine list

showing all ?? records

Sorts and Types in Logic, Theorem Proving and Logic Programming

Sorte and Types in Knowledge Representation Including Qualitative Reasoning

Sorts and Types in Natural Language (Understanding) Systems

a service of  Schloss Dagstuhl - Leibniz Center for Informatics