Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
ورود / ثبت نام
عنوان
Graph-based proof procedures for horn clauses
پدید آورنده
Stan Raatz.
موضوع
Gráfelmélet,Horn-klóz,Logikai programozás
رده
QA76
.
63
S736
1990
کتابخانه
Center and Library of Islamic Studies in European Languages
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
32910706
-
025
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0817635300
(Number (ISBN
3764335300
(Number (ISBN
9780817635305
(Number (ISBN
9783764335304
NATIONAL BIBLIOGRAPHY NUMBER
Number
b546559
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Graph-based proof procedures for horn clauses
General Material Designation
[Book]
First Statement of Responsibility
Stan Raatz.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston
Name of Publisher, Distributor, etc.
Birkhäuser
Date of Publication, Distribution, etc.
1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
147 p. : ill. ; 25 cm
SERIES
Series Title
Progress in computer science and applied logic.
CONTENTS NOTE
Text of Note
Preliminaries.- A Semantics for the Hornlog System.- The Hornlog Proof Procedure.- Soundness and Completeness Results I.- An Equational Extension.- The He Refutation Method.- Soundness and Completeness Results II.- Appendix: Implementation Issues.
TOPICAL NAME USED AS SUBJECT
Gráfelmélet
Horn-klóz
Logikai programozás
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
63
Book number
S736
1990
PERSONAL NAME - PRIMARY RESPONSIBILITY
Stan Raatz.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Stan Raatz
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب
[Book]
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal