Termination proofs for logic programs

Saved in:
Bibliographic Details
Main Author: Plumer, Lutz
Format: Book
Published: Berlin Springer-Verlag 1990
Series:Lecture notes in computer science ; 446. Lecture notes in artificial intelligence
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!