• 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

Central Library of Amirkabir University of Technology

تماس با کتابخانه : ۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)

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

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