Search Results - Plumer, Lutz

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

    Termination proofs for logic programs by Plumer, Lutz

    Published 1990
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Logic programming formal methods and practical applications

    Logic programming formal methods and practical applications

    Published 1995
    Other Authors:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: