Search

You searched for: Auteur Fleuriot Remove constraint Auteur: Fleuriot
1 - 2 of 2
Number of results to display per page

Search Results

1. Automated Deduction in Geometry
thumbnail
Full text!
Author:
Ida, Tetsuo; Fleuriot, Jacques; Fleuriot, Jacques
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
2. Artificial Intelligence and Symbolic Computation
thumbnail
Full text!
Author:
Fleuriot; Dongming Wang; Jacques Calmet; Calmet, Jacques; Wang, DongMing
Publisher:
Springer International Publishing 2018
Format:
e-book