Detecting Unsolvable Queries for Definite Logic Programs

May 31, 2017 | Autor: Andre de Waal | Categoría: Computer Software, Functional Logic Programming, First-Order Logic, Model Generation

Share Embed

Laporkan tautan ini

Descripción

Lihat lebih banyak...

Comentarios

Copyright © 2017 DATOSPDF Inc.