ATP and Presentation Service for Mizar Formalizations.
Josef UrbanPiotr RudnickiGeoff SutcliffePublished in: J. Autom. Reason. (2013)
Keyphrases
- management system
- service oriented
- computer assisted
- service providers
- theorem prover
- multimedia
- web services
- service platform
- service composition
- end users
- logic programs
- special case
- multimedia data
- website
- artificial intelligence
- service quality
- information retrieval
- web service composition
- customer satisfaction
- service delivery
- data sets