ATP and Presentation Service for Mizar Formalizations

Josef Urban Piotr Rudnicki Geoff Sutcliffe

Published in: CoRR (2011)

Keyphrases

web services
service providers
multimedia
computer assisted
service oriented
automated theorem proving
service composition
semantic web services
real time
end users
web service composition
service platform
data sets
information services
situation calculus
customer service