nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An adaptive logic for relevant classical deduction
|
Lycke, Hans |
|
2007 |
5 |
4 |
p. 602-612 11 p. |
artikel |
2 |
An axiomatization of family resemblance
|
Jennings, R.E. |
|
2007 |
5 |
4 |
p. 577-585 9 p. |
artikel |
3 |
A polynomial time algorithm for Zero-Clairvoyant scheduling
|
Subramani, K. |
|
2007 |
5 |
4 |
p. 667-680 14 p. |
artikel |
4 |
Conditionals and consequences
|
Kyburg Jr., Henry E. |
|
2007 |
5 |
4 |
p. 638-650 13 p. |
artikel |
5 |
Cut-free common knowledge
|
Jäger, Gerhard |
|
2007 |
5 |
4 |
p. 681-689 9 p. |
artikel |
6 |
Editorial Board
|
|
|
2007 |
5 |
4 |
p. iii-vi nvt p. |
artikel |
7 |
Error analysis of digital filters using HOL theorem proving
|
Akbarpour, Behzad |
|
2007 |
5 |
4 |
p. 651-666 16 p. |
artikel |
8 |
Introduction
|
Pereira, Luís Moniz |
|
2007 |
5 |
4 |
p. 575-576 2 p. |
artikel |
9 |
Nonmonotonic conditionals that behave like conditional probabilities above a threshold
|
Hawthorne, James |
|
2007 |
5 |
4 |
p. 625-637 13 p. |
artikel |
10 |
Preferential theory revision
|
Dell'Acqua, Pierangelo |
|
2007 |
5 |
4 |
p. 586-601 16 p. |
artikel |
11 |
Some comments on history based structures
|
Pacuit, Eric |
|
2007 |
5 |
4 |
p. 613-624 12 p. |
artikel |