Yazar
Gerwin Klein
2 cilt bulundu.
Cilt sonuçları
Concrete Semantics
Tobias Nipkow, Gerwin Klein · Springer International Publishing AG
298 sayfa · 2014
Computer science / Logic design / Automatic theorem proving / Logics and Meanings of Programs / Programming Languages, Compilers, Interpreters
Interactive Theorem Proving
Gerwin Klein, Ruben Gamboa · Springer International Publishing AG
555 sayfa · 2014
Automatic theorem proving / Logic, symbolic and mathematical / Software engineering / Artificial Intelligence (incl. Robotics) / Computer science