articole
(gol)
-
Logică pentru programare, inteligență artificială și raționament
Bjørner, Nikolaj EpuizatPreț fantastic!574,57 leiLa coș
-
FM 2015: Metode formale
Bjørner, Nikolaj EpuizatPreț fantastic!738,74 leiLa coș
-
Deducție automată - CADE-23
Bjørner, Nikolaj EpuizatPreț fantastic!690,48 leiLa coș
Recenziile cărților acestui autor
Nici o recenzie