TY - GEN digital ID - 131376842 TI - Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings AU - Brünnler, Kai AU - Metcalfe, George PY - 2011 SN - 9783642221194 PB - Berlin, Heidelberg Springer Berlin Heidelberg DB - UniCat KW - Mathematical logic KW - Logic KW - Computer science KW - Programming KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - ontwerpen KW - programmeren (informatica) KW - wiskunde KW - software engineering KW - KI (kunstmatige intelligentie) KW - robots UR - https://www.unicat.be/uniCat?func=search&query=sysid:131376842 AB - ER -