|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A multiple-valued logic approach to the design and verification of hardware circuits |
Rosenmann, Amnon |
2016 |
15 | C |
p. 69-93 25 p. |
article |
|
| 2 | Bunched sequential information |
Kamide, Norihiro |
2016 |
15 | C |
p. 150-170 21 p. |
article |
|
| 3 | Editorial Board |
2016 |
15 | C |
p. iii-vi nvt p. |
article |
||
| 4 | The eco-cognitive model of abduction II |
Magnani, Lorenzo |
2016 |
15 | C |
p. 94-129 36 p. |
article |
|
| 5 | The left adjoint of Spec from a category of lattice-ordered groups |
Castiglioni, José Luis |
2016 |
15 | C |
p. 1-15 15 p. |
article |
|
| 6 | The principle of signature exchangeability |
Ronel, Tahel |
2016 |
15 | C |
p. 16-45 30 p. |
article |
|
| 7 | The problem of coincidence in a theory of temporal multiple recurrence |
Akinkunmi, B.O. |
2016 |
15 | C |
p. 46-68 23 p. |
article |
|
| 8 | Translation of first order formulas into ground formulas via a completion theory |
Demolombe, Robert |
2016 |
15 | C |
p. 130-149 20 p. |
article |
8 results found