Search results for: Freek Wiedijk
Annals of Mathematics and Artificial Intelligence > 2019 > 85 > 2-4 > 213-257
Lecture Notes in Computer Science > Mathematical Knowledge Management > Regular Contributions > 188-202
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 440-454
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 378-393
Lecture Notes in Computer Science > Intelligent Computer Mathematics > CICM Systems and Projects > 301-303
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to Calculemus 2007 > 94-105
Lecture Notes in Computer Science > Artificial Intelligence, Automated Reasoning, and Symbolic Computation > Calculemus Regular Talks > 246-258
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Logic Extensions > 221-237
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science