Yazar
christine paulin mohring
4 cilt bulundu.
Cilt sonuçları
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)
Sandrine Blazy, Christine Paulin-Mohring · Springer
498 sayfa · 2013
Automatic theorem proving / Logic, symbolic and mathematical / Software engineering / Artificial Intelligence (incl. Robotics) / Computer science
Types for Proofs and Programs
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner · Springer
Sayfa sayısı yok · 2008
Kategori yok
Interactive Theorem Proving
Sandrine Blazy, Christine Paulin-Mohring, David Pichardie · Springer London, Limited
Sayfa sayısı yok · 2013
Kategori yok
Types for Proofs and Programs
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner · Springer London, Limited
280 sayfa · 2006
Automatic theorem proving / Computer programming