|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Adaptation of declaratively represented methods in proof planning |
Xiaorong Huang |
1998 |
23 | 3 |
p. 299-320 22 p. |
artikel |
|
| 2 | An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF |
Gennady Davydov |
1998 |
23 | 3 |
p. 229-245 17 p. |
artikel |
|
| 3 | Global solutions for nonlinear systems using qualitative reasoning |
E. Bradley |
1998 |
23 | 3 |
p. 211-228 18 p. |
artikel |
|
| 4 | Heuristics used by HERBY for semantic tree theorem proving |
Qingxun Yu |
1998 |
23 | 3 |
p. 247-266 20 p. |
artikel |
|
| 5 | Horn minimization by iterative decomposition |
Endre Boros |
1998 |
23 | 3 |
p. 321-343 23 p. |
artikel |
|
| 6 | Inference guiding in propositional knowledge bases |
Jinchang Wang |
1998 |
23 | 3 |
p. 345-356 12 p. |
artikel |
|
| 7 | Introducing the mathematical category of artificial perceptions |
Z. ArziGonczarowski |
1998 |
23 | 3 |
p. 267-298 32 p. |
artikel |
7 gevonden resultaten