TY - GEN digital ID - 131154151 TI - Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings AU - Calmet, Jaques AU - Ida, Tetsuo AU - Wang, Dongming PY - 2006 SN - 9783540397304 PB - Berlin Heidelberg Springer-Verlag GmbH DB - UniCat KW - Mathematical logic KW - Discrete mathematics KW - Computer science KW - Computer architecture. Operating systems KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - algebra KW - discrete wiskunde KW - informatica KW - wiskunde KW - KI (kunstmatige intelligentie) KW - logica KW - robots KW - numerieke analyse KW - AI (artificiële intelligentie) UR - https://www.unicat.be/uniCat?func=search&query=sysid:131154151 AB - ER -