Automated Deduction -- Cade-23
Nikolaj Bjørner, Viorica Sofronie-Stokkermans
₹5,669
Author
Books by Nikolaj Bjørner
Showing 1–2 of 2 books
Logic for Programming, Artificial Intelligence, and Reasoning
Nikolaj Bjørner, Andrei Voronkov
₹5,609
Author
Showing 1–2 of 2 books
Nikolaj Bjørner, Viorica Sofronie-Stokkermans
₹5,669
Nikolaj Bjørner, Andrei Voronkov
₹5,609