Skip to content

Home Practice Lessons About

Sandro Etalle

Books

Logic Programming
Formal Aspects of Security and Trust
Trust Management : Proceedings of IFIPTM 2007
Logic Programming (vol. # 4079)
Trust Management
Logic Based Program Synthesis and Transformation

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.