 |
 |
Area della Ricerca di Padova
|
Graph-based proof procedure for horn clauses /
by Raatz, Stan
Normal View ISBD View
Series:
Progress in computer science and applied logic ;
. 10
Published by :
Birkhauser,
(Boston : )
Physical details: 147 p. ; 24 cm.
Year : 1990
No tags for this title.
| Item type | Location | Call Number | Copy | Status | Date Due |
|---|---|---|---|---|---|
| Books | Istituto di Ingegneria Biomedica | QA76.73.P76R92L (Browse Shelf) | 1 | Available |
Browsing Istituto di Ingegneria Biomedica Shelves Close Shelf Browser
 |
 |
||||||
| QA76.73.P76P73The practice of prolog / | QA76.73.P76P76Prolog / | QA76.73.P76R88LArtificial intelligence through Prolog / | QA76.73.P76R92LGraph-based proof procedure for horn clauses / | QA76.73.P76S74The art of Prolog : advanced programming techniques / | QA76.73.P76S74The art of prolog : advanced programming techniques / |
Important links here.
There are no comments for this item.