Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
logic program synthesis and transformation
پدید آورنده
logic program synthesis and transformation
موضوع
Logic programming
رده
QA
76
.
63
.
L6
1993
کتابخانه
Vali Asr University Central Library
محل استقرار
استان:
Kerman
ـ شهر:
Rafsanjan
تماس با کتابخانه :
03431312520
INTERNATIONAL STANDARD BOOK NUMBER
Terms of Availability and/or Price
خریداری
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
logic program synthesis and transformation
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
270P.:diagram,Table
Other Physical Details
, 2605 , 2-1
NOTES PERTAINING TO BINDING AND AVAILABILITY
Text of Note
غیرمرجع
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic programming
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
63
Classification Record Number
.
L6
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
logic program synthesis and transformation
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
Edited by kung-Kiu Lau
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal