 |
traduction d'autres langues
| Anglais |
Herbrand | s
algorithm - seuls les mots individuels ont été trouvés
| S | |
| génér. | Seite |
| appar. | total linear stopping power, S |
|
Herbrand : 8 phrases, 2 sujets |
| Informatique | 2 |
| Intelligence artificielle | 6 |