Title
Title
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur Mozart

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

parallel9
system39
parallel Sauf system" 6
system Sauf parallel" 36
parallel Et system 3
parallel Ou system 45
Corpus14176
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 3.
Ident.Authors (with country if any)Title
000509 Adam Meissner [Pologne]Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
000A63 Adam Meissner [Pologne]A Simple Parallel Reasoning System for the $\mathcal{ALC}$ Description Logic
001212 Adam Meissner [Pologne] ; Magdalena Niwi Ska [Pologne] ; Krzysztof Zwierzy Ski [Pologne]Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System
Wicri

This area was generated with Dilib version V0.6.20.
Data generation: Sun Apr 10 15:06:14 2016. Site generation: Tue Feb 7 15:40:35 2023