Filter by

  • Publication Year
    To
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=Seda, Anthony
cover
Mathematical aspects of logic programming semantics
Hitzler, PascalSeda, AnthonyCohen, Randi

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