|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Integrated Approach to High Integrity Software Verification |
Ireland, Andrew |
2006 |
36 | 4 |
p. 379-410 |
artikel |
|
| 2 | Answer Set Programming Based on Propositional Satisfiability |
Giunchiglia, Enrico |
2006 |
36 | 4 |
p. 345-377 |
artikel |
|
| 3 | Empirically Successful Automated Reasoning: Systems Issue |
Fischer, Bernd |
2006 |
36 | 4 |
p. 287 |
artikel |
|
| 4 | Mathematical Induction in Otter-Lambda |
Beeson, Michael |
2006 |
36 | 4 |
p. 311-344 |
artikel |
|
| 5 | Things to Know when Implementing KBO |
Löchner, Bernd |
2006 |
36 | 4 |
p. 289-310 |
artikel |
5 gevonden resultaten