• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Implementations of logic programming systems

پدید آورنده

موضوع
، Logic programming

رده
QA
76
.
63
.
I48
1994

کتابخانه
Central Library of Sharif University of Technology

محل استقرار
استان: Tehran ـ شهر: Tehran

Central Library of Sharif University of Technology

تماس با کتابخانه : 66005817-021

OTHER STANDARD IDENTIFIER

Standard Number
108516

LANGUAGE OF THE ITEM

.Language of Text, Soundtrack etc
زمستا‌ن‌۴۷
.Language of Text, Soundtrack etc
English

TITLE AND STATEMENT OF RESPONSIBILITY

General Material Designation
)91(
Title Proper
Implementations of logic programming systems

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Boston
Name of Publisher, Distributor, etc.
Kluwer Academic Publishers
Date of Publication, Distribution, etc.
1994

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
262 p. : ill. ; 25 cm

GENERAL NOTES

Text of Note
Papers from two workshops held at the 1993 International Conference on Logic Programming, held in Budapest, Hungary
Text of Note
Includes bibliographical references and index

TOPICAL NAME USED AS SUBJECT

Entry Element
، Logic programming

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
76
.
63
.
I48
1994

PERSONAL NAME - PRIMARY RESPONSIBILITY

Relator Code
TI
Entry Element
edited by Evan Tick, Giancarlo Succi

AU navE ,kciT 1959-
AU olracnaiG ,iccuS 1964-
CO International Conference on Logic Programming, ]3991, Budapest, Hungary[

LOCATION AND CALL NUMBER

Shelving Form of Title, Author, Author/Title
129

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