|
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 | Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 |
Matsuzaki, Takuya |
2018 |
31 | 3 |
p. 251-266 |
artikel |
|
| 2 | Consensus-finding that preserves mutually conflicting hypothetical information from a same agent |
Grégoire, Éric |
2018 |
31 | 3 |
p. 303-317 |
artikel |
|
| 3 | Foreword to the Special Issue on Automated Reasoning |
Fontaine, Pascal |
2018 |
31 | 3 |
p. 235-236 |
artikel |
|
| 4 | Hierarchical invention of theorem proving strategies |
Jakubův, Jan |
2018 |
31 | 3 |
p. 237-250 |
artikel |
|
| 5 | Programming and verifying a declarative first-order prover in Isabelle/HOL |
Jensen, Alexander Birch |
2018 |
31 | 3 |
p. 281-299 |
artikel |
|
| 6 | Regular Section – Boolean Logic |
2018 |
31 | 3 |
p. 301 |
artikel |
||
| 7 | Towards backbone computing: A Greedy-Whitening based approach |
Zhang, Yueling |
2018 |
31 | 3 |
p. 267-280 |
artikel |
7 gevonden resultaten