عنوان
پدید آورنده
موضوع
رده
QA .A96,C654 76.9 1990
QA
.
A96
,
C654
76
.
9
1990
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computational logic
First Statement of Responsibility
J.W. Lloyd )ed.(
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 211 p. : ill. ; 25 cm
SERIES
Series Title
ESPRIT basic research seriese, )EUR, 13147 EN
Series Title
Series: EUR )Series(, 13147 EN
SUMMARY OR ABSTRACT
Text of Note
Includes bibliographical references
OTHER VARIANT TITLES
Variant Title
symposium proceedings, Brussels, November 13/14, 1990
TOPICAL NAME USED AS SUBJECT
Entry Element
Automatic theorem proving - Congresses
Entry Element
Logic, Symbolic and Mathematical - Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Classification Record Number
76
.
9
Book number
.
A96
,
C654
1990
Lloyd, John Wylie
1947-
English Book
