- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2196-8896
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
-
Meissner, Adam
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s40595-014-0023-8
- URN
-
urn:nbn:de:1111-2016052046339
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Meissner, Adam
- SpringerLink (Online service)
Ähnliche Objekte (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