WORKSHOP REPORT: Application of Logic Pr
β
Robert Kowalski
π
Article
π
1995
π
Springer
π
English
β 300 KB