|
|
|
|
| LEADER |
00750nab a2200217 i 4500 |
| 001 |
acta12250 |
| 005 |
20220608095457.0 |
| 008 |
161015s1977 hu o 0|| eng d |
| 022 |
|
|
|a 0324-721X
|
| 040 |
|
|
|a SZTE Egyetemi Kiadványok Repozitórium
|b hun
|
| 041 |
|
|
|a eng
|
| 100 |
2 |
|
|a Ecsedi-Tóth Péter
|
| 245 |
1 |
3 |
|a An effective theorem proving algorithm
|h [elektronikus dokumentum] /
|c Ecsedi-Tóth Péter
|
| 260 |
|
|
|c 1977
|
| 300 |
|
|
|a 249-260
|
| 490 |
0 |
|
|a Acta cybernetica
|v 3 No. 3
|
| 650 |
|
4 |
|a Természettudományok
|
| 650 |
|
4 |
|a Számítás- és információtudomány
|
| 695 |
|
|
|a Számítástechnika, Kibernetika
|
| 700 |
0 |
1 |
|a Varga A.
|e aut
|
| 856 |
4 |
0 |
|u http://acta.bibl.u-szeged.hu/12250/1/cybernetica_003_fasc_003_249-260.pdf
|z Dokumentum-elérés
|