ID - 131150517 TI - Theoretical Aspects of Computing - ICTAC 2004 AU - Araki, Keijiro AU - Liu, Zhiming AU - SpringerLink (Online service) PY - 2005 SN - 9783540318620 PB - Berlin Heidelberg Springer-Verlag GmbH. DB - UniCat KW - Mathematical logic KW - Computer science KW - Programming KW - Computer architecture. Operating systems KW - Computer. Automation KW - informatica KW - programmeren (informatica) KW - programmeertalen KW - wiskunde KW - software engineering KW - logica KW - computernetwerken UR - https://www.unicat.be/uniCat?func=search&query=sysid:131150517 AB - ER -