 |
| |||
| логика исчисления предикатов | |||
| предикатная логика (ssn) | |||
| логика предикатов | |||
| Angielski tezaurus | |||
| |||
| quantificational logic (ssn) | |||
|
predicate logic : 15 do fraz, 7 tematyki |
| Logika | 1 |
| Makarowa | 1 |
| Matematyka | 3 |
| Mechanika | 1 |
| Programowanie | 3 |
| Technologia informacyjna | 5 |
| Zautomatyzowany sprzęt | 1 |