Scholar
Gate
Asistent
Toate domeniile
▾
RO ▾
Despre
Întrebare și design
Eșantionare și măsurare
Analiză
Cauzalitate și dovezi
Raportare și etică
Acasă
/
Autor
John Alan Robinson
Metode atribuite acestui autor.
1 metodă
Metode numerice
1
Automated Theorem Proving
1965