Coverart for item
The Resource CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings, E. Börger, H. Kleine Büning, M.M. Richter (eds.)

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings, E. Börger, H. Kleine Büning, M.M. Richter (eds.)

Label
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Title
CSL '89
Title remainder
3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Statement of responsibility
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
Dewey number
004/.01/5113
Index
no index present
LC call number
QA76.9.M35
LC item number
W67 1989
Literary form
non fiction
Nature of contents
bibliography
Series statement
Lecture notes in computer science
Series volume
440
Label
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings, E. Börger, H. Kleine Büning, M.M. Richter (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
vi, 437 p.
Isbn
9783540527534
Lccn
90010006
Media category
unmediated
Media MARC source
rdamedia
System control number
  • (MARC)
  • (GOVTcat)
  • (OCoLC)ocn369078512
Label
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings, E. Börger, H. Kleine Büning, M.M. Richter (eds.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
vi, 437 p.
Isbn
9783540527534
Lccn
90010006
Media category
unmediated
Media MARC source
rdamedia
System control number
  • (MARC)
  • (GOVTcat)
  • (OCoLC)ocn369078512

Library Locations

    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
Processing Feedback ...