• 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

Vali Asr University Central Library

تماس با کتابخانه : 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

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival