|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
12 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Classifier Based on a Decision Tree with Verifying Cuts |
Bazan, Jan G. |
2016 |
143 | 1-2 |
p. 1-18 |
article |
|
| 2 | A Function Elimination Method for Checking Satisfiability of Arithmetical Logics |
Castiglioni, Valentina |
2016 |
143 | 1-2 |
p. 51-71 |
article |
|
| 3 | An Upper Bound for the Reachability Problem of Safe, Elementary Hornets |
Köhler-Bußmeier, Michael |
2016 |
143 | 1-2 |
p. 89-100 |
article |
|
| 4 | A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic |
Nguyen, Linh Anh |
2016 |
143 | 1-2 |
p. 113-139 |
article |
|
| 5 | Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data |
Bazan, Jan G. |
2016 |
143 | 1-2 |
p. 19-34 |
article |
|
| 6 | Controlling Petri Net Behavior using Priorities for Transitions |
Lomazova, Irina A. |
2016 |
143 | 1-2 |
p. 101-112 |
article |
|
| 7 | Cut Points in PEG |
Redziejowski, Roman R. |
2016 |
143 | 1-2 |
p. 141-149 |
article |
|
| 8 | Differential Privacy and Security |
Gruska, Damas P. |
2016 |
143 | 1-2 |
p. 73-87 |
article |
|
| 9 | Inverted Fuzzy Implications in Approximate Reasoning |
Suraj, Zbigniew |
2016 |
143 | 1-2 |
p. 151-171 |
article |
|
| 10 | Preface |
Czaja, Ludwik |
2016 |
143 | 1-2 |
p. v-vi |
article |
|
| 11 | Programming Self-Assembly of DNA Tiles |
Bellia, Marco |
2016 |
143 | 1-2 |
p. 35-49 |
article |
|
| 12 | SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems |
Woźna-Szcześniak, Bożena |
2016 |
143 | 1-2 |
p. 173-205 |
article |
12 results found