Search Results - "Lecture notes in computer science ; 446. Lecture notes in artificial intelligence"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Termination proofs for logic programs

    Termination proofs for logic programs by Plumer, Lutz

    Published 1990
    “…Lecture notes in computer science ; 446. Lecture notes in artificial intelligence…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: