Interactive Theorem Proving - 9783319431437

Interactive Theorem Proving : 7th International Conference, Proceedings, Pape...

Mitchell - Interactive Storytelling 7th International Conference on - X555z

Melham - Higher Order Logic Theorem Proving and Its Applications 7th - X555z

Li - Rough Sets and Knowledge Technology 7th International Conferenc - X555z

Bauer - Principles of Security and Trust 7th International Conferenc - X555z

Wu - Information Security and Cryptology 7th International Conferenc - X555z