Ingen varer
Kassen / rediger kurv
By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science.... Læs mere