Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: subject="Computers / Machine T...
cover
Mathematical Aspects of Logic Programming Semantics
Comment Share
HITZLER, Pascal

Covering the authors' own state-of-the-art research results, this book 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 topology, domain theory, generalized distanc…

Edition
Ed. 1
ISBN/ISSN
1439829624, 9781439829622
Collation
-
Series Title
-
Call Number
-
cover
How Computer Networks Can Become Smart
Comment Share
BAGNASCO, Ricardo

How Computer Networks Can Become Smart

Edition
-
ISBN/ISSN
9789533071749
Collation
-
Series Title
-
Call Number
-