Filter by
Found 1 from your keywords: author="Seda, Anthony"
Mathematical aspects of logic programming semantics
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on …
- Edition
- -
- ISBN/ISSN
- 9781439829615
- Collation
- xxx, 274 p. : ill.
- Series Title
- -
- Call Number
- 005.115 HIT m
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography