Login / Signup

: A Tool for Automatic Composition ofServices Based on Logics of Programs.

Daniela BerardiDiego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniMassimo Mecella
Published in: TES (2004)
Keyphrases
  • modal logic
  • website
  • expressive power
  • computer programs
  • free software
  • database
  • artificial intelligence
  • information technology
  • relational databases
  • software tools
  • automatic programming