|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('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. |
artikel |
|
| 2 | Bunched sequential information |
Kamide, Norihiro |
2016 |
15 | C |
p. 150-170 21 p. |
artikel |
|
| 3 | Editorial Board |
2016 |
15 | C |
p. iii-vi nvt p. |
artikel |
||
| 4 | The eco-cognitive model of abduction II |
Magnani, Lorenzo |
2016 |
15 | C |
p. 94-129 36 p. |
artikel |
|
| 5 | The left adjoint of Spec from a category of lattice-ordered groups |
Castiglioni, José Luis |
2016 |
15 | C |
p. 1-15 15 p. |
artikel |
|
| 6 | The principle of signature exchangeability |
Ronel, Tahel |
2016 |
15 | C |
p. 16-45 30 p. |
artikel |
|
| 7 | The problem of coincidence in a theory of temporal multiple recurrence |
Akinkunmi, B.O. |
2016 |
15 | C |
p. 46-68 23 p. |
artikel |
|
| 8 | Translation of first order formulas into ground formulas via a completion theory |
Demolombe, Robert |
2016 |
15 | C |
p. 130-149 20 p. |
artikel |
8 gevonden resultaten