TY - GEN digital ID - 131228466 TI - Infinity in Logic and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers AU - Archibald, Margaret AU - Brattka, Vasco AU - Goranko, Valentin AU - Löwe, Benedikt PY - 2009 SN - 9783642030925 PB - Berlin, Heidelberg Springer-Verlag Berlin Heidelberg DB - UniCat KW - Mathematical logic KW - Complex analysis KW - Computer science KW - Programming KW - Information systems KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - toegepaste informatica KW - complexe analyse (wiskunde) KW - informatica KW - systeemontwikkeling (informatica) KW - wiskunde KW - KI (kunstmatige intelligentie) KW - methodologieën KW - logica KW - robots UR - https://www.unicat.be/uniCat?func=search&query=sysid:131228466 AB - ER -