عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540475869
(Number (ISBN
9783540475866
NATIONAL BIBLIOGRAPHY NUMBER
Number
b566226
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Typed Lambda Calculi and Applications :
General Material Designation
[Book]
Other Title Information
International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16-18, 1993, Utrech, the Netherlands Proceedings
First Statement of Responsibility
edited by Marc Bezem, Jan Friso Groote.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer-Verlag : Springer e-books
Date of Publication, Distribution, etc.
1993
SERIES
Series Title
Lecture Notes in Computer Science, 664
GENERAL NOTES
Text of Note
L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.
TOPICAL NAME USED AS SUBJECT
Computer science.
Logic design.
Logic, Symbolic and mathematical.
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Marc Bezem, Jan Friso Groote.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Jan Friso Groote
Marc Bezem
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
