Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Computational logic
پدید آورنده
J.W. Lloyd )ed.(
موضوع
Automatic theorem proving - Congresses,Logic, Symbolic and Mathematical - Congresses
رده
QA
.
A96
,
C654
76
.
9
1990
کتابخانه
Central Library of Imam Khomeini International University of Qazvin
محل استقرار
استان:
Qazvin
ـ شهر:
Qazvin
تماس با کتابخانه :
33780050
-
028
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
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal