Sandrine Blazy
Författare till Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Verk av Sandrine Blazy
Taggad
Allmänna fakta
Det finns inga Allmänna fakta än om den här författaren. Du kan lägga till några.
Medlemmar
Statistik
- Verk
- 2
- Medlemmar
- 3
- Popularitet
- #1,791,150
- ISBN
- 5