Foundations of logic programming
Book information
Similar books
Logic Grammars
1989 · PDF
Foundations of Logic Programming
1984 · PDF
Foundations of Equational Logic Programming
1989 · DJVU
Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings
2002 · PDF
Crafting Interpreters
2021 · PDF
Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
2020 · PDF
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers
2020 · PDF
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
2020 · PDF