Scholar
Gate
Asistent
Všetky odbory
▾
SK ▾
O knižnici
Otázka a dizajn
Výber vzorky a meranie
Analýza
Kauzalita a dôkazy
Reportovanie a etika
Domov
/
Autor
John Alan Robinson
Metódy pripisované tomuto autorovi.
1 metóda
Numerické metódy
1
Automated Theorem Proving
1965