Composition of Semantic Web services using Linear Logic theorem proving

✍ Scribed by Jinghai Rao; Peep Küngas; Mihhail Matskin

• Book ID: 108154856
• Publisher: Elsevier Science
• Year: 2006
• Tongue: English
• Weight: 703 KB
• Volume: 31
• Category: Article
• ISSN: 0959-2954
• DOI: 10.1016/j.is.2005.02.005