＞数理逻辑与数学基础＞释义 symbolic logic 符号逻辑 symbolic logic 符号逻辑†
人工智能 人工智能逻辑 释文 symbolic logic 符号逻辑
- Henri Fantin-Latour
- 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é