Search Results - "Logic Programming"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Some constructions on ω-groupoids

    Some constructions on ω-groupoids by Altenkirch, Thorsten, Li, Nuo, Ondřej, Rypáček

    Published 2014
    Subjects: “…Logic Programming…”
    Get full text
  2. 2
    Reka bentuk dan implementasi suatu penghurai Bahasa Melayu menggunakan sistem logik selari

    Reka bentuk dan implementasi suatu penghurai Bahasa Melayu menggunakan sistem logik selari by Ramli, Suzaimah

    Published 2002
    Subjects: Get full text
    Get full text
  3. 3
    Narrowing in on property-based testing

    Narrowing in on property-based testing by Fowler, Jonathan

    Published 2019
    Subjects: Get full text

Search Tools: