ID - 131714179 TI - Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings AU - Kaufmann, Matt AU - Paulson, Lawrence C. PY - 2010 SN - 9783642140525 9783642140518 9783642140532 9783642142024 9783642142949 9783642141850 9783642137532 PB - Berlin, Heidelberg Springer DB - UniCat KW - Mathematical logic KW - Logic KW - Immunology. Immunopathology KW - Computer science KW - Programming KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - monoklonale antilichamen KW - polyklonale antilichamen KW - immunologie KW - computers KW - programmeren (informatica) KW - programmeertalen KW - wiskunde KW - software engineering KW - KI (kunstmatige intelligentie) KW - logica KW - AI (artificiële intelligentie) UR - https://www.unicat.be/uniCat?func=search&query=sysid:131714179 AB - ER -