Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)
  • 洋書

Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Theoretical Computer Science and General Issues) (2013)  Paperback,  言語:ENG

Blazy, Sandrine (EDT)/ Paulin-Mohring, Christine (EDT)/ Pichardie, David (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 102pt
  • 海外取次在庫
Types for Proofs and Programs : International Workshop, TYPES 2004, France, December, 2004, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 3839〉
  • 洋書

Types for Proofs and Programs : International Workshop, TYPES 2004, France, December, 2004, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 3839〉  Paperback,  言語:ENG

Filliatre, Jean-Christophe (EDT)/ Paulin-Mohring, Christine (et al., EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer(2006/01発売)
  • ポイント 102pt
  • 海外取次在庫