1
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ...- and Higher-Order Provers -- 6.5 Constrained Horn Clauses -- 7 Summary -- References -- Verified Given Clause...
Click to View
2
by World Bank Group
Published 2016
... development plan in West Africa should take coastal risks and adaption to climate change...
Get full text
Get full text