 |
| |||
| логика исчисления предикатов | |||
| логика предикатов | |||
| предикатная логика (ssn) | |||
| Inglés tesauro | |||
| |||
| quantificational logic (ssn) | |||
|
predicate logic : 15 a las frases, 7 temas |
| Equipo automatizado | 1 |
| Lógica | 1 |
| Makárov | 1 |
| Matemáticas | 3 |
| Mecánica | 1 |
| Programación | 3 |
| Tecnología de la información | 5 |