عنوان
پدید آورنده
موضوع
رده
QA 76.6 .N671 1993
QA
76
.
6
.
N671
1993
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Number
02BL0000000002574
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
.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
VIII,332P.:Illus
Other Physical Details
1 , 2574 , 2-1
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic programming-congresses
Entry Element
Artificial intelligence-congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
6
Classification Record Number
.
N671
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Nonmonotonic and inductive logic:second international workshop reinhards brom castle,Germany,December 1991 proceedings
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
G.Brewka,K.P.Jantke,P.H.Schmidt
PERSONAL NAME - SECONDARY RESPONSIBILITY
Relator Code
AU
Relator Code
AU
Relator Code
AU
Entry Element
Brewka,Gerhard
Entry Element
Jantke,K.P
Entry Element
Schmitt,Peter H,1948-
