Logic Programming (vol. # 4079) 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

by Etalle, Sandro
Published in Springer e-books (2006)

Trust Management Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30вЂ" August 2, 2007, New Brunswick, Canada /

by Etalle, Sandro
Published in Springer e-books (2007)

Logic Based Program Synthesis and Transformation (vol. # 3573) 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

by Etalle, Sandro
Published in Springer e-books (2005)