TY - GEN digital ID - 131378761 TI - Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings AU - Beringer, Lennart AU - Felty, Amy PY - 2012 SN - 9783642323478 PB - Berlin, Heidelberg Imprint: Springer DB - UniCat KW - Mathematical logic KW - Logic KW - Computer science KW - Computer architecture. Operating systems KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - informatica KW - ontwerpen KW - programmeren (informatica) KW - wiskunde KW - software engineering KW - computerbeveiliging KW - robots UR - https://www.unicat.be/uniCat?func=search&query=sysid:131378761 AB - ER -