| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An application of automated reasoning in natural language question answering
|
Furbach, Ulrich
|
|
2010
|
23 |
2-3 |
p. 241-265
|
artikel
|
| 2 |
An application of automated reasoning in natural language question answering
|
Furbach, Ulrich
|
|
2010
|
23 |
2-3 |
p. 241-265
|
artikel
|
| 3 |
Automated theorem proving in quasigroup and loop theory
|
Phillips, J.D.
|
|
2010
|
23 |
2-3 |
p. 267-283
|
artikel
|
| 4 |
Automated theorem proving in quasigroup and loop theory
|
Phillips, J.D.
|
|
2010
|
23 |
2-3 |
p. 267-283
|
artikel
|
| 5 |
CTL-RP: A computation tree logic resolution prover
|
Zhang, Lan
|
|
2010
|
23 |
2-3 |
p. 111-136
|
artikel
|
| 6 |
CTL-RP: A computation tree logic resolution prover
|
Zhang, Lan
|
|
2010
|
23 |
2-3 |
p. 111-136
|
artikel
|
| 7 |
Implementing a fair monodic temporal logic prover
|
Ludwig, Michel
|
|
2010
|
23 |
2-3 |
p. 69-96
|
artikel
|
| 8 |
Implementing a fair monodic temporal logic prover
|
Ludwig, Michel
|
|
2010
|
23 |
2-3 |
p. 69-96
|
artikel
|
| 9 |
Interactive verification of concurrent systems using symbolic execution
|
Bäumler, Simon
|
|
2010
|
23 |
2-3 |
p. 285-307
|
artikel
|
| 10 |
Interactive verification of concurrent systems using symbolic execution
|
Bäumler, Simon
|
|
2010
|
23 |
2-3 |
p. 285-307
|
artikel
|
| 11 |
Large theory reasoning with SUMO at CASC
|
Pease, Adam
|
|
2010
|
23 |
2-3 |
p. 137-144
|
artikel
|
| 12 |
Large theory reasoning with SUMO at CASC
|
Pease, Adam
|
|
2010
|
23 |
2-3 |
p. 137-144
|
artikel
|
| 13 |
Practical algorithms for unsatisfiability proof and core generation in SAT solvers
|
Asín Achá, Roberto
|
|
2010
|
23 |
2-3 |
p. 145-157
|
artikel
|
| 14 |
Practical algorithms for unsatisfiability proof and core generation in SAT solvers
|
Asín Achá, Roberto
|
|
2010
|
23 |
2-3 |
p. 145-157
|
artikel
|
| 15 |
Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬
|
Farsiniamarj, Nasim
|
|
2010
|
23 |
2-3 |
p. 205-240
|
artikel
|
| 16 |
Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬
|
Farsiniamarj, Nasim
|
|
2010
|
23 |
2-3 |
p. 205-240
|
artikel
|
| 17 |
Restricting backtracking in connection calculi
|
Otten, Jens
|
|
2010
|
23 |
2-3 |
p. 159-182
|
artikel
|
| 18 |
Restricting backtracking in connection calculi
|
Otten, Jens
|
|
2010
|
23 |
2-3 |
p. 159-182
|
artikel
|
| 19 |
SOLAR: An automated deduction system for consequence finding
|
Nabeshima, Hidetomo
|
|
2010
|
23 |
2-3 |
p. 183-203
|
artikel
|
| 20 |
SOLAR: An automated deduction system for consequence finding
|
Nabeshima, Hidetomo
|
|
2010
|
23 |
2-3 |
p. 183-203
|
artikel
|
| 21 |
Special issue on practical aspects of automated reasoning
|
Konev, Boris
|
|
2010
|
23 |
2-3 |
p. 67-68
|
artikel
|
| 22 |
Special issue on practical aspects of automated reasoning
|
Konev, Boris
|
|
2010
|
23 |
2-3 |
p. 67-68
|
artikel
|
| 23 |
Subterm contextual rewriting
|
Weidenbach, Christoph
|
|
2010
|
23 |
2-3 |
p. 97-109
|
artikel
|
| 24 |
Subterm contextual rewriting
|
Weidenbach, Christoph
|
|
2010
|
23 |
2-3 |
p. 97-109
|
artikel
|
Tijdschrift beschrijving