Automatické dokazování vět v teorii čísel | Charles Explorer

Automatické dokazování vět v teorii čísel

Publikace na Matematicko-fyzikální fakulta |

2008

Abstrakt

Automatické dokazování vět v teorii čísel

Osoby