عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 D769 1987
QA76
.
9
.
A96
D769
1987
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540182179
(Number (ISBN
3540478116
(Number (ISBN
9783540182177
(Number (ISBN
9783540478119
NATIONAL BIBLIOGRAPHY NUMBER
Number
b566242
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
From Logic Design to Logic Programming:
General Material Designation
[Book]
Other Title Information
Theorem Proving Techniques and P-Functions.
First Statement of Responsibility
D Snyers
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg
Date of Publication, Distribution, etc.
1987
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(IV, 125 pages)
SERIES
Series Title
Lecture notes in computer science, 271.
CONTENTS NOTE
Text of Note
Theorem in proving and P-functions --; Grammars, logics and declarative programming --; Grammars and Semantics.
TOPICAL NAME USED AS SUBJECT
Computer logic.
Computer programming.
Computer science.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Book number
D769
1987
PERSONAL NAME - PRIMARY RESPONSIBILITY
D Snyers
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
A Thayse
D Snyers
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
