How to Represent Opaque Sentences in First Order Logic

Has publishing details pp. 458-462, 1989

Has title How to Represent Opaque Sentences in First Order Logic

Has url http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai89.html#Arbab89

Has where published IJCAI

Has year 1989

Has author Bijan Arbab +

Has identifier How to Represent Opaque Sentences in First Order Logic +

Categories Proceeding Paper +