Yazar
Didier Stephan
4 cilt bulundu.
Cilt sonuçları
Automated Reasoning
Didier Galmiche, Stephan Schulz, Roberto Sebastiani · Springer
742 sayfa · 2018
Automatic theorem proving / Logic, symbolic and mathematical
Fine French Desserts
Hubert Delorme, Vincent Boue, Didier Stephan, Clay McLachlan · Rizzoli International Publications, Incorporated
Sayfa sayısı yok · 2016
Desserts / Cooking, french
Vie et Experimentation
Didier Debaise, Vinciane Despret, Jean-Claude Dumoncel, Stephan Galetic, Bruno Latour · Vrin, Librairie Philosophique J.
174 sayfa · 2019
Experience / Pragmatism