PT SEML Siap Bor 8 Sumur untuk Pengembangan PLTP Tahap Dua di Solok Selatan

#pengeboran #PLTP #PTSEML
https://radarsumbar.com/sumbar/solok-selatan/157209/pt-seml-siap-bor-8-sumur-untuk-pengembangan-pltp-tahap-dua-di-solok-selatan/?feed_id=12763&_unique_id=67b311e764f7d

"The difference between #PLTP and #ACL2 is largely due to the fact that PLTP was a 2 year project and ACL2 has been a life’s work." -- Milestones from the Pure #Lisp theorem prover
to ACL2 by J. Strother Moore
https://doi.org/10.1007/s00165-019-00490-3
BCS © 2019
Formal Aspects of Computing (2019) 31: 699–732
https://dl.acm.org/doi/pdf/10.1007/s00165-019-00490-3