|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs |
Pham, Tuan Minh |
2012 |
285 | C |
p. 43-55 13 p. |
artikel |
|
| 2 | Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit |
Wenzel, Makarius |
2012 |
285 | C |
p. 101-114 14 p. |
artikel |
|
| 3 | A User-friendly Interface for a Lightweight Verification System |
Lapets, Andrei |
2012 |
285 | C |
p. 29-41 13 p. |
artikel |
|
| 4 | Engineering the Prover Interface |
Gast, Holger |
2012 |
285 | C |
p. 3-16 14 p. |
artikel |
|
| 5 | Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Proverʼs Palette |
Meikle, Laura I. |
2012 |
285 | C |
p. 115-119 5 p. |
artikel |
|
| 6 | Interfacing Coq + SSReflect with GAP |
Komendantsky, Vladimir |
2012 |
285 | C |
p. 17-28 12 p. |
artikel |
|
| 7 | Narrating Formal Proof (Work in Progress) |
Tankink, Carst |
2012 |
285 | C |
p. 71-83 13 p. |
artikel |
|
| 8 | Pollack-inconsistency |
Wiedijk, Freek |
2012 |
285 | C |
p. 85-100 16 p. |
artikel |
|
| 9 | Preface |
Aspinall, David |
2012 |
285 | C |
p. 1-2 2 p. |
artikel |
|
| 10 | Visualising Reasoning: What ATP Can Learn From CP |
Slaney, John |
2012 |
285 | C |
p. 57-70 14 p. |
artikel |
10 gevonden resultaten