TY - GEN digital ID - 131378635 TI - Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings AU - Gramlich, Bernhard AU - Miller, Dale AU - Sattler, Uli PY - 2012 SN - 9783642313653 PB - Berlin, Heidelberg Springer Berlin Heidelberg DB - UniCat KW - Mathematical logic KW - Logic KW - Computer science KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - informatica KW - ontwerpen KW - programmeren (informatica) KW - wiskunde KW - software engineering KW - KI (kunstmatige intelligentie) KW - robots KW - numerieke analyse KW - AI (artificiële intelligentie) UR - https://www.unicat.be/uniCat?func=search&query=sysid:131378635 AB - ER -