Yazar
Didier Galmiche
3 cilt bulundu.
Cilt sonuçları
Automated Reasoning with Analytic Tableaux and Related Methods
Didier Galmiche · Springer
300 sayfa · 1997
Software engineering / Artificial Intelligence (incl. Robotics) / Computer science / Logic design / Computational complexity
Automated Reasoning
Didier Galmiche, Stephan Schulz, Roberto Sebastiani · Springer
742 sayfa · 2018
Automatic theorem proving / Logic, symbolic and mathematical
Paul Claudel et la Bohême
Didier Alexandre, Xavier Galmiche · Classiques Garnier
405 sayfa · 2015
Homes and haunts / French Authors / Biography / In literature / History