Proceedings 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy
Proceedings 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy1999
Symposium on Logic in Computer Science (14th 1999 Trento, Italy), Institute of Electrical and Electronics Engineers, IEEE Computer Society
Details
- First published
- 1999
- OL Work ID
- OL13306210W
Subjects
Computer ProgrammingMathematical theory of computationComputer LogicComputersComputers - General InformationComputer Books: GeneralGeneralLogic DesignComputer Science