Coverart for item
The Resource Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, edited by Luke Ong, (electronic book /)

Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, edited by Luke Ong, (electronic book /)

Label
Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Title
Computer Science Logic (vol. # 3634)
Title remainder
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Statement of responsibility
edited by Luke Ong
Creator
Subject
Language
eng
Summary
"The Annual Conference of the European Association for Computer Science Logic (EACSL), CSL 2005, was held at the University of Oxford on 22 -25 August 2005."
Member of
Cataloging source
DE-He213
Characteristic
online system or service
http://library.link/vocab/creatorName
Ong, Luke
Image bit depth
0
Series statement
Lecture Notes in Computer Science;
Series volume
3634
http://library.link/vocab/subjectName
  • Artificial intelligence
  • Computer science
  • Logic design
  • Logic, Symbolic and mathematical
Label
Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, edited by Luke Ong, (electronic book /)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
Dimensions
unknown
File format
multiple file formats
Isbn
9783540318972
Level of compression
uncompressed
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Label
Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, edited by Luke Ong, (electronic book /)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
Dimensions
unknown
File format
multiple file formats
Isbn
9783540318972
Level of compression
uncompressed
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote

Library Locations

Processing Feedback ...