Suggested Topics within your search.
Showing 1 - 4 results of 4 for search '', query time: 0.01s Refine Results
  1. 1
    A parallel logic programming system based on BaLinda Lisp : an implementation of flat guarded horn clasues /
    by Li, Zhenpeng
    Published 1996
    Thesis Book
    Save to List
    Saved in:
  2. 2
    A high-order logic for object-oriented logic programming /
    by Wee, Boon Tun
    Published 1998
    Thesis Book
    Save to List
    Saved in:
  3. 3
    Logic mining in neural networks /
    by Saratha Sathasivam
    Published 2006
    Thesis Book
    Save to List
    Saved in:
  4. 4
    Query proof structure caching for incremental evaluation of tabled PROLOG programs /
    by Ali, Taher Muhammad
    Published 2013
    Get full text
    Thesis Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search