Search ResultsElectronic Resources
Limit Search Results
Material Type
Language
Publication Date
-
Library
Shelf Location
6 Results Found Subscribe to search results
000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      by 
      Jack, Oliver.
      Format: 
      Excerpt: 
      Software testing for conventional and logic programming Jack, Oliver.
      by 
      Kersting, Kristian.
      Format: 
      Excerpt: 
      An inductive logic programming approach to statistical relational learning Kersting, Kristian.
      by 
      Leite, João Alexandre.
      Format: 
      Excerpt: 
      Logic programming.
      by 
      Lu, Mi.
      Format: 
      Excerpt: 
      Logic programming.
      by 
      Liu, Yanhong Annie, 1965-
      Format: 
      Excerpt: 
      -oriented programming languages with different data, control, and module abstractions. Designed for courses or self
      by 
      Harper, Robert.
      Format: 
      Excerpt: 
      . Generic programming; Part VI. Infinite Data Types: 18. Inductive and co-inductive types; 19. Recursive