Similar Listings
Interactive Theorem Proving and Program Development: Coq�Art: The Calculus of I,
Interactive Theorem Proving and Program Develop. Bertot, CastAran, Huet<|
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of...
Interactive Theorem Proving and Program Develop. Bertot, CastAran
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of
Pierre Casteran - Interactive Theorem Proving and Program Development - X555z
Advanced Calculus: Differential Calculus and Stokes' Theorem (Paperback or Softb
Advanced Calculus: Differential Calculus and Stokes' Theorem (De Gruyter Tex...