Showing 1 - 3 results of 3 for search 'Dietmar Seipel', query time: 0.07s Refine Results
  1. 1
    Knowledge Engineering for Hybrid Deductive Databases
    by Dietmar Seipel
    Published 2017-01-01
    Get full text
    Article
  2. 2
    Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts
    by Falco Nogatz, Dietmar Seipel
    Published 2017-01-01
    Get full text
    Article
  3. 3
    Source Code Verification for Embedded Systems using Prolog
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search