• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Types for proofs and programs :

پدید آورنده
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)

موضوع
Automatic theorem proving, Congresses,Computer programming, Congresses

رده
QA76
.
9
.
A96
T96
2004

کتابخانه
Center and Library of Islamic Studies in European Languages

محل استقرار
استان: Qom ـ شهر: Qom

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
3540314288 (pbk.)

NATIONAL BIBLIOGRAPHY NUMBER

Number
b423564

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Types for proofs and programs :
General Material Designation
[Book]
Other Title Information
international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /
First Statement of Responsibility
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2006

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
viii, 273 p. :
Other Physical Details
ill. ;
Dimensions
24 cm

SERIES

Series Title
Lecture notes in computer science ;
ISSN of Series
3839

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Includes bibliographical references and index

PARALLEL TITLE PROPER

Parallel Title
TYPES 2004

TOPICAL NAME USED AS SUBJECT

Automatic theorem proving, Congresses
Computer programming, Congresses

(SUBJECT CATEGORY (Provisional

QA

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA76
.
9
.
A96
Book number
T96
2004

PERSONAL NAME - ALTERNATIVE RESPONSIBILITY

Filliâtre, Jean-Christophe
Paulin-Mohring, Christine,1962-
Werner, Benjamin

CORPORATE BODY NAME - PRIMARY RESPONSIBILITY

TYPES 2004(2004 :, Jouy-en-Josas, France)

ORIGINATING SOURCE

Date of Transaction
20060313111344.0

ELECTRONIC LOCATION AND ACCESS

Electronic name
 مطالعه متن کتاب 

[Book]

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival