0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023,... Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings (Paperback, 1st ed. 2023)
Michael Hanus, Daniela Inclezan
R2,198 Discovery Miles 21 980 Ships in 10 - 15 working days

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.

Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022,... Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings (Paperback, 1st ed. 2022)
Georg Gottlob, Daniela Inclezan, Marco Maratea
R2,142 Discovery Miles 21 420 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022. The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems; Applications. Statistical Statements in Probabilistic Logic Programming" and "Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Chapters "Statistical Statements in Probabilistic Logic Programming" and "Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Loot
Nadine Gordimer Paperback  (2)
R383 R318 Discovery Miles 3 180
Loot
Nadine Gordimer Paperback  (2)
R383 R318 Discovery Miles 3 180
Fast X
Vin Diesel, Jason Momoa, … DVD R172 R132 Discovery Miles 1 320
Monami Retractable Crayons (12 Colours)
R83 R66 Discovery Miles 660
Monami Retractable Wax Crayons (Pack of…
R116 R92 Discovery Miles 920
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Microsoft Xbox Series X Console (1TB)
 (21)
R14,999 Discovery Miles 149 990
Snappy Tritan Bottle (1.5L)(Green)
R229 R180 Discovery Miles 1 800
6mm Yoga Mat & Carry Bag [Blue]
R191 Discovery Miles 1 910
Pure Pleasure Fullfit Extra Length…
R999 R899 Discovery Miles 8 990

 

Partners