عنوان
پدید آورنده
موضوع
رده
QA 76.7 .A285 2005
QA
76
.
7
.
A285
2005
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
First Statement of Responsibility
A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
EDITION STATEMENT
Statement of Responsibility Relating to Edition
3rd : 2005 : Tallinn, Estonia
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York, N.Y.
Name of Publisher, Distributor, etc.
ACM Press
Date of Publication, Distribution, etc.
c2005
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vii, 64 p.: ill.
GENERAL NOTES
Text of Note
"...held in association with the 10th ACM SIGPLAN International Conference on Functional Progrmming )ICFP 2005(, on August 30th, 2005 in Tallinn, Estonia"
Text of Note
Includes bibliographies
Text of Note
ISBN: 1595930728
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Programming languages )Electronic computers(
Entry Element
Data processing -- Congresses ، Reasoning
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
7
.
A285
2005
OTHER CLASS NUMBERS
Class number
NO
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Momigliano, Alberto
AU Pollack, Randy
CO Association for Computing Machinery
CO ACM Special Interest Group on Programming Languages
CO ACM SIGPLAN International Conference on Functional Programming 10th : 2005 : Tallinn, Estonia
TI
TI Mechanized reasoning about languages with variable binding
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
