Amanote Research

Amanote Research

    RegisterSign In

From Typed-Functional Semantic Web Services to Proofs

Lecture Notes in Computer Science - Germany
doi 10.1007/11926078_76
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2006

Authors
Harry Halpin
Publisher

Springer Berlin Heidelberg


Related search

Geospatial Semantic Web Services

Geospatial Web Services
2011English

Autonomous Semantic Web Services

Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer ProcessesFluid Flow
2003English

Automatically Constructing Semantic Web Services From Online Sources

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Integrating Web Portals With Semantic Web Services

International Journal of Enterprise Information Systems
ManagementComputer Science ApplicationsInformation SystemsManagement Information Systems
2010English

Agent-Based Semantic Web Services

SSRN Electronic Journal
2004English

Agent-Based Semantic Web Services

Web Semantics
Computer NetworksSoftwareHuman-Computer InteractionCommunications
2004English

Semantic Web Services for Healthcare

English

Enterprise Services Architecture and Semantic Web Services

2005English

Enhancing Semantic Web Services With Inheritance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy