عنوان
پدید آورنده
موضوع
رده
W926c
W926c
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Workshop on Computer Science Logic, 3rd, Kaiserslautern, 1989
Title Proper
CSL ʹ89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
.PUBLICATION, DISTRIBUTION, ETC
Date of Publication, Distribution, etc.
c1990
Name of Publisher, Distributor, etc.
Springer-Verlag
PHYSICAL DESCRIPTION
Other Physical Details
BL700000626
Other Physical Details
vi, 437p
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer science- Mathematics- Congresses ► Logic, Symbolic and mathematical- Congresses
DEWEY DECIMAL CLASSIFICATION
Edition
W926c
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
Borger, Egon, 1946- , ed ► Series: Lecture notes in computer science ; 440
