عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1258
QA
76
.
L28
Vol
.
1258
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computer science logic : 10th International Workshop, CSL'96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
EDITION STATEMENT
Statement of Responsibility Relating to Edition
10th: 1996: Utrecht, The Netherlands
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1997
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 471 p
SERIES
Other Title Information
Lecture notes in computer science; 8521
GENERAL NOTES
Text of Note
CSL'96 was the 10th in a series of Workshops and the 5th to be held as the Annnual Conference of the European Association for Computer Science Logic, at the University of Utrecht, September 21-27, 1996
Text of Note
Includes bibliographies
Text of Note
ISBN 3540631720
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Dirk van Dalen, Marc Bezem )Eds.(
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Computer logic
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
1258
OTHER CLASS NUMBERS
Class number
CA
Class number
004/
.
01/5113
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Dalen, Dirk van, 1932-
AU Bezem, Marc, 1956-
CO EACSL 5th: 1996: Utrecht, The Netherlands
TI
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
Workshop on Computer Science Logic
