Chapter 5 Information Processing and Utilization Section 3 Theorem Proving.
Bioinformatics Tigor Nauli ([email protected] / [email protected]) Research Center for Informatics - LIPI.