Logical knowledge-representation formali
โ
Yu. I. Kur'erov
๐
Article
๐
1992
๐
Springer US
๐
English
โ 589 KB