(Q30059521)

English
No label defined

1966 doctoral thesis written by Jacques Pitrat

Statements

Réalisation de programmes de démonstration de théorèmes par des méthodes heuristiques (French)
0 references
0 references
1966
0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit