Search

Your search keyword '"Génevaux, Jean-David"' showing total 1 results

Search Constraints

Start Over You searched for: Author "Génevaux, Jean-David" Remove constraint Author: "Génevaux, Jean-David" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
1 results on '"Génevaux, Jean-David"'

Search Results

1. Formalization of Wu’s Simple Method in Coq

Catalog

Books, media, physical & digital resources