Applications de l'IA à l'étude des structures algébriques finies et à la démonstration
automatique de théorèmes / Boris Shminke ; sous la direction de Carlos Simpson. Thèse
de doctorat : Mathématiques : Université Côte d'Azur : 2023
Information trouvée : rapporteur de thèse, membre du jury
Quantum interferometry in phase space : theory and applications / M. Suda. - Springer
e-books, 2006
Information trouvée : Verso p. de titre : Martin Suda : ARC Seibersdorf Research GmbH, Wien, Austria