Yazar
Sandrine Blazy
5 cilt bulundu.
Sandrine Blazy, Christine Paulin-Mohring · Springer
498 sayfa · 2013
Automatic theorem proving / Logic, symbolic and mathematical / Software engineering / Artificial Intelligence (incl. Robotics) / Computer science
Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy · Cambridge University Press
472 sayfa · 2014
Logic programming / Compilers (computer programs) / Computer software / Verification / Symbolic and mathematical Logic
Sandrine Blazy, Thomas Jensen · Springer London, Limited
333 sayfa · 2015
Computer programming / Programming languages (electronic computers)
Sandrine Blazy, Marsha Chechik · Springer International Publishing AG
199 sayfa · 2016
Computer programs
Sandrine Blazy, Christine Paulin-Mohring, David Pichardie · Springer London, Limited
Sayfa sayısı yok · 2013
Kategori yok