Coverart for item
The Resource CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings, E. Börger, H. Kleine Büning, M.M. Richter (eds.)

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings, E. Börger, H. Kleine Büning, M.M. Richter (eds.)

Label
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings
Title
CSL '87
Title remainder
1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings
Statement of responsibility
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Dewey number
004/.01/5113
Index
no index present
LC call number
QA75.5
LC item number
.W624 1987
Literary form
non fiction
Nature of contents
bibliography
Series statement
Lecture notes in computer science
Series volume
329
Label
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings, E. Börger, H. Kleine Büning, M.M. Richter (eds.)
Instantiates
Publication
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
25 cm.
Extent
vi, 346 p.
Isbn
9780387502410
Isbn Type
(U.S.)
Lccn
88024900
Media category
unmediated
Media MARC source
rdamedia
System control number
  • (MARC)
  • (MARCcat)
  • (OCoLC)ocn369177548
Label
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings, E. Börger, H. Kleine Büning, M.M. Richter (eds.)
Publication
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
25 cm.
Extent
vi, 346 p.
Isbn
9780387502410
Isbn Type
(U.S.)
Lccn
88024900
Media category
unmediated
Media MARC source
rdamedia
System control number
  • (MARC)
  • (MARCcat)
  • (OCoLC)ocn369177548

Library Locations

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