calcul logic
|
LDR | 00076nx j2200049 | |
---|---|---|
001 | 206958 | |
250 | $a calcul logic | |
901 | $a a $b a |
Lucrări:
3 lucrari in 3 publicatii in 1 limbi
3 records Page 1 of 1
- 1
Inexistenţa algoritmilor de recunoaştere a expresibilităţii sintactice în calcule logice
de:
Raţă, Metodie
(Text tipărit)
Elemente de logică
de:
Popelard, Marie-Dominique; Vernant, Denis
(Text tipărit)
Introducere în logica simbolică
de:
Stihi, Teodor
(Text tipărit)