Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages

Ediciones (1)

• Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages (2016)

  Association for Computing Machinery · inglés · ISBN 9781450347778

Más obras de Gilles Dowek

Theorem proving in higher order logics

Les me tamorphoses du calcul