Yazar
Maria Paola Bonacina
3 cilt bulundu.
Cilt sonuçları
Automated Reasoning and Mathematics
Maria Paola Bonacina · Springer Berlin Heidelberg
269 sayfa · 2013
Mathematical Logic and Formal Languages / Math Applications in Computer Science / Logic design / Artificial Intelligence (incl. Robotics) / Computer science
Automated Deduction – CADE-24
Maria Paola Bonacina · Springer Berlin Heidelberg
466 sayfa · 2013
Mathematical Logic and Formal Languages / Software engineering / Computer science / Algorithm Analysis and Problem Complexity / Logic design
