Old Web
English
Sign In
Acemap
>
Paper
>
Agent-Oriented Integration of Distributed Mathematical Services.
Agent-Oriented Integration of Distributed Mathematical Services.
1999
Andreas Franke
Stephan Hess
Christoph G. Jung
Michael Kohlhase
Volker Sorge
Keywords:
Automated theorem proving
Autonomous agent
Computer science
Agent-oriented programming
Intelligent agent
Distributed computing
Theoretical computer science
Knowledge management
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
42
Citations
NaN
KQI
[]