Cover Image

From logic design to logic programming : theorem proving techniques and P-functions /

Show other versions (1)
Bibliographic Details
Main Author: Snyers, Dominique, 1959-
Corporate Author: SpringerLink (Online service)
Other Authors: Thayse, André, 1940-
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, ©1987.
Series:Lecture notes in computer science ; 271.
Subjects:
Automatic theorem proving.
Computer algorithms.
Logic programming.
Algorithms.
Théorèmes > Démonstration automatique.
Algorithmes.
Programmation logique.
Logisch programmeren.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (iv, 125 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 121-125).
ISBN:9783540478119 (electronic bk.)
3540478116 (electronic bk.)