Attribut:ISSN
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
1868-8969 +
Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas +
1613-0073 +
B
0169-2968 +
0169-2968 +
C
Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication +
0924-6703 +
0302-9743 +
0302-9743 +