Using Many-Sorted Logic in the Object-Or
β
Y. P. Chien; Anand Hudli; Mathew Palakal
π
Article
π
1998
π
Springer Netherlands
π
English
β 423 KB