No label defined (Q30059521)
Jump to navigation
Jump to search
1966 doctoral thesis written by Jacques Pitrat
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
1966
0 references