A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit <a rel="external noopener" href="https://publikationen.bibliothek.kit.edu/214296/764030">the original URL</a>. The file type is <code>application/pdf</code>.
<i title="Springer Netherlands">
Applied Logic Series
The combination of logical and symbolic computation systems has recently emerged from prototype extensions of stand-alone systems to the study of environments allowing interaction among several systems. Communication and cooperation mechanisms of systems performing any kind of mathematical service enable to study and solve new classes of problems and to perform e cient computation by distributed specialized packages. The classi cation of communication and cooperation methods for logical and<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-94-009-0349-4_11">doi:10.1007/978-94-009-0349-4_11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eyqxsebedvdvfjr4rbrrllbrri">fatcat:eyqxsebedvdvfjr4rbrrllbrri</a> </span>
more »... olic computation systems given in this paper provides and surveys di erent methodologies for combining mathematical services and their characteristics, capabilities, requirements, and di erences. The methods are illustrated by r e c e n t w ell-known examples. We separate the classi cation into communication and cooperation methods. The former includes all aspects of the physical connection, the ow of mathematical information, the communication language(s) and its encoding, encryption, and knowledge sharing. The latter concerns the semantic aspects of architectures for cooperative problem solving.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720022203/https://publikationen.bibliothek.kit.edu/214296/764030" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/37/92/3792642b49e4f16510a99afe09ec31df0f12ce34.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-94-009-0349-4_11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>