This text aims at promoting a convergence between the technical challenges of developing advanced software systems and the formal techniques, tools and features evolving from the logic programming paradigm. It provides contributions towards different apsects of logic programming.
Shelf progress
Logic Programming
Christoph Beierle, Lutz Plümer
0%0 / 428 sf
—
Top Reviews
0No visible reviews yet for this book.
Your Rating