TY - GEN digital ID - 131228446 TI - Automated Deduction – CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings PY - 2009 SN - 9783642029592 PB - Berlin, Heidelberg Springer Berlin Heidelberg DB - UniCat KW - Computer. Automation KW - informatica UR - https://www.unicat.be/uniCat?func=search&query=sysid:131228446 AB - ER -