- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2196-8896
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A simple distributed reasoning system for the connection calculus ; volume:1 ; number:4 ; day:28 ; month:5 ; year:2014 ; pages:231-239 ; date:11.2014
Vietnam journal of computer science ; 1, Heft 4 (28.5.2014), 231-239, 11.2014
- Creator
-
Meissner, Adam
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s40595-014-0023-8
- URN
-
urn:nbn:de:1111-2016052046339
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:59 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Meissner, Adam
- SpringerLink (Online service)
Other Objects (12)
Theory reasoning in connection calculi
Reasoning in event-based distributed systems
A calculus of distributed and parallel processes
Calculus and algebra for distributed data management
A relation calculus for reasoning about t-probing security
Distributed case based reasoning for fault management
Scaling up description logic reasoning by distributed resolution
Scaling Up Description Logic Reasoning by Distributed Resolution
Reasoning about distributed relational data and query evaluation
Teachers' perspectives on mathematical argumentation, reasoning and justifying in calculus classrooms
Connection control implications in a distributed plasticity cerebellar model
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
Theory reasoning in connection calculi
Reasoning in event-based distributed systems
A calculus of distributed and parallel processes
Calculus and algebra for distributed data management
A relation calculus for reasoning about t-probing security
Distributed case based reasoning for fault management
Scaling up description logic reasoning by distributed resolution
Scaling Up Description Logic Reasoning by Distributed Resolution
Reasoning about distributed relational data and query evaluation
Teachers' perspectives on mathematical argumentation, reasoning and justifying in calculus classrooms
Connection control implications in a distributed plasticity cerebellar model
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
Theory reasoning in connection calculi
Reasoning in event-based distributed systems
A calculus of distributed and parallel processes
Calculus and algebra for distributed data management
A relation calculus for reasoning about t-probing security
Distributed case based reasoning for fault management
Scaling up description logic reasoning by distributed resolution
Scaling Up Description Logic Reasoning by Distributed Resolution
Reasoning about distributed relational data and query evaluation
Teachers' perspectives on mathematical argumentation, reasoning and justifying in calculus classrooms
Connection control implications in a distributed plasticity cerebellar model