人工智能 自动推理 释文 ordered binary decision diagram, OBDD 有序二元决策图
- Henri Farman
- Henri Herz
- Henrik Arnold Wergeland
- Henrikas Radauskas
- Henrik Carl Peter Dam
- Henrik Ibsen
- Henrik Nordbrandt
- Henri Labrouste
- Henri Langlois
- Henri Lavedan
- Henri Lefebvre
- Henri Lopes
- Henri-Marie La Fontaine
- Henri Massis
- Henri Matisse
- Henri Mendras
- Henri Michaux
- Henri Moissan
- Henri Murger
- Henrion
- Henri Paul Hyacinthe Wallon
- Henri-Philibert-Gaspard Darcy
- Henri Piéron
- Henri Poincaré
- Henri Poulaille