Cover Image

Graph-based proof procedures for horn clauses /

Bibliographic Details
Main Author: Raatz, Stan
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Boston : Birkhaüser, 1990.
Series:Progress in computer science and applied logic ; v. 10.
Subjects:
Logic programming.
Horn clauses.
Graph theory.
Automatisches Beweisverfahren.
Logische Programmierung.
Horn-Klausel.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (147 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references (pages 142-147).
ISBN:9781489935564 (electronic bk.)
1489935568 (electronic bk.)