Automated Theory Formation in Pure Mathematics - 9781447111139

Colton - Automated Theory Formation in Pure Mathematics - New hardback - X555z

Automated Theory Formation in Pure Mathematics, Hardcover by Colton, Simon, L...

Automated Theory Formation in Pure Mathematics, Hardcover by Colton, Simon, B...

Rapoport - Coalition Formation by Sophisticated Players - New paperbac - X555z

Goubault-Larrecq - Proof Theory and Automated Deduction - New paperbac - X555z

Beckman - Progress in Stellar Spectral Line Formation Theory - New pap - X555z

Hamawand - Morpho-Lexical Alternation in Noun Formation - New paperbac - X555z