عنوان
پدید آورنده
موضوع
رده
QA 76.9 .L63 W67 1996
QA
76
.
9
.
L63
W67
1996
کتابخانه
محل استقرار
CE
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Compuer science logic: 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996: selected papers
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1997
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, ]473[ p.: ill
SERIES
Series Title
Lecture notes in computer science; 1258
GENERAL NOTES
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer logic - Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
9
Classification Record Number
.
L63
W67
1996
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Dirk van Dalen, Marc Bezem )eds.(
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
Workshop on Computer Science Logic )10th: 1996: Utrecht, Netherlands(
