Nikolaj Björner profile picture

Nikolaj Björner

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Automated Deduction – CADE-23
Logic for Programming, Artificial Intelligence, and Reasoning
Nikolaj Björner — Books & Biography | Menrva Books