Calude, Cristian S.

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings / [electronic resource] : edited by Cristian S. Calude, Elena Calude, Michael J. Dinneen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3340 0302-9743 ; . - Lecture Notes in Computer Science, 3340 .

9783540305507

10.1007/b103739 doi


Computer science.
Logic design.
Computational complexity.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Discrete Mathematics in Computer Science.

QA8.9-QA10.3

005.131

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue