عنوان
پدید آورنده
موضوع
رده
QA 76.63 .A8 L6
QA
76
.
63
.
A8
L6
کتابخانه
محل استقرار
استان: South Khorasan ـ شهر: Birjand
OTHER STANDARD IDENTIFIER
Standard Number
40326
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated deduction - A Basis for applications
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht
Name of Publisher, Distributor, etc.
Kluwer Academic publishers
Date of Publication, Distribution, etc.
1998
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
V
SERIES
Series Title
applied logic series; V.01
GENERAL NOTES
Text of Note
Includes bibliographies and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edited by wolfgang Bibel, Peter H. Schmitt
TOPICAL NAME USED AS SUBJECT
Entry Element
، Logic programming
Entry Element
، Logic )mathematics(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
63
.
A8
L6
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU rotide ,ynagfloW ,lebiB
AU rotide ,.H reteP ,ttimhcS
SE
