The use of data processing machines in the recognition and proof of arithmetical theorems translated into B-mathematical language


Jostein Amlien
Bok Engelsk 1983

Detaljer

Bibliotek som har denne