Julien Schmaltz

Identifiers

Open LibraryOL8547457A

Books by Julien Schmaltz

Total count: 2

Interactive Theorem ProvingSecond International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Springer2011-09-17
Logical Gates, Circuits, Processors, Compilers and Computers

Springer International Publishing AG2021-01-01