Interactive theorem proving = 4th In...
Paulin-Mohring, Christine.

 

  • Interactive theorem proving = 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Interactive theorem proving/ edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie.
    Reminder of title: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings /
    remainder title: ITP 2013
    other author: Blazy, Sandrine.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Berlin, Heidelberg :Springer Berlin Heidelberg : : 2013.,
    Description: xii, 498 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Automatic theorem proving - Congresses. -
    Online resource: http://dx.doi.org/10.1007/978-3-642-39634-2
    ISBN: 9783642396342 (electronic bk.)
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login