TY - GEN digital ID - 131150964 TI - Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings AU - Hung, Dang Van AU - Wirsing, Martin PY - 2005 SN - 9783540320722 PB - Berlin Heidelberg Springer-Verlag GmbH DB - UniCat KW - Mathematical logic KW - Computer science KW - Programming KW - Computer architecture. Operating systems KW - informatica KW - programmeren (informatica) KW - programmeertalen KW - wiskunde KW - logica KW - computernetwerken UR - https://www.unicat.be/uniCat?func=search&query=sysid:131150964 AB - ER -