Yazar
Tobias Nipkow
8 cilt bulundu.
Alexander Leitsch, Tobias Nipkow · Springer
708 sayfa · 2001
Computer logic / Congresses / Automatic theorem proving / Computers / Computer science
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel · Springer London, Limited
222 sayfa · 2002
Computer logic / Automatic theorem proving / Computer science / Software engineering / Logic design
Jayadev Misra, Tobias Nipkow, Emil Sekerinski · Springer
620 sayfa · 2006
Development / Congresses / System design / Mathematics / Formal methods (Computer science)
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
Jayadev Misra, Tobias Nipkow, Emil Sekerinski · Springer London, Limited
Sayfa sayısı yok · 2006
Application software, development