عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 T96 2000
QA76
.
9
.
A96
T96
2000
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540432876 (alk. paper)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b433628
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Types for proofs and programs :
General Material Designation
[Book]
Other Title Information
International Workshop, TYPES 2000, Durham 2000 : selected papers /
First Statement of Responsibility
Paul Callaghan ... [et al.]
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer-Verlag Berlin Heidelberg,
Date of Publication, Distribution, etc.
2002
PROJECTED PUBLICATION DATE
Date
0203
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 242 p. :
Other Physical Details
ill. ;
Dimensions
24 cm
SERIES
Series Title
Lecture notes in computer science ;
ISSN of Series
2277
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving, Congresses
Computer programming, Congresses
(SUBJECT CATEGORY (Provisional
QA
DEWEY DECIMAL CLASSIFICATION
Number
006
.
3/33
Edition
21
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Book number
T96
2000
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Callaghan, Paul,1970-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
TYPES 2000(2000 :, Durham, England)
ORIGINATING SOURCE
Date of Transaction
20020402130257.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
