Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Techniques of Prolog programming : with implementation of logical negation and quantified goals
پدید آورنده
Van Le, T.
موضوع
Prolog )Computer program language( , Negation )Logic(
رده
QA
76
.
73
.
P76
V36
1993
کتابخانه
Central Library of Amirkabir University of Technology
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)
CE
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Van Le, T.
Title Proper
Techniques of Prolog programming : with implementation of logical negation and quantified goals
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Wiley
Date of Publication, Distribution, etc.
1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii, 601 p. : ill
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 585-593( and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Prolog )Computer program language(
Entry Element
Negation )Logic(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
73
Classification Record Number
.
P76
V36
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
T. van Le
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal