|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Logical Framework for Debugging in Declarative Constraint Programming |
del Vado Vírseda, Rafael |
2009 |
256 | C |
p. 119-135 17 p. |
artikel |
|
| 2 | A Topos-Theoretic Approach to Counterfactual Logic |
de Araujo Fernandes, Ricardo Queiroz |
2009 |
256 | C |
p. 33-47 15 p. |
artikel |
|
| 3 | How to Produce Information About a Given Entity Using Automated Deduction Methods |
Demolombe, Robert |
2009 |
256 | C |
p. 19-31 13 p. |
artikel |
|
| 4 | Peirce's Rule in a Full Natural Deduction System |
Costa, Vaston G. |
2009 |
256 | C |
p. 5-18 14 p. |
artikel |
|
| 5 | Preface |
Ayala-Rincón, Mauricio |
2009 |
256 | C |
p. 1-3 3 p. |
artikel |
|
| 6 | Product of Graphs and Hybrid Logic |
Benevides, Mario R.F. |
2009 |
256 | C |
p. 103-118 16 p. |
artikel |
|
| 7 | Representing Model Theory in a Type-Theoretical Logical Framework |
Horozal, Fulya |
2009 |
256 | C |
p. 49-65 17 p. |
artikel |
|
| 8 | Selective Memoization with Box Types |
Miranda-Perea, Favio Ezequiel |
2009 |
256 | C |
p. 67-85 19 p. |
artikel |
|
| 9 | Towards an Efficient Prover for the C 1 Paraconsistent Logic |
Neto, Adolfo |
2009 |
256 | C |
p. 87-102 16 p. |
artikel |
9 gevonden resultaten