| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Large-Scale Experiment in Executing Extracted Programs
|
Cruz-Filipe, Luís
|
|
2006
|
151 |
1 |
p. 75-91
17 p.
|
artikel
|
| 2 |
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving
|
Schmidt-Samoa, Tobias
|
|
2006
|
151 |
1 |
p. 3-20
18 p.
|
artikel
|
| 3 |
Ascertaining Mathematical Theorems
|
McCasland, Roy L.
|
|
2006
|
151 |
1 |
p. 21-38
18 p.
|
artikel
|
| 4 |
Connecting Logical Representations and Efficient Computations
|
Pollet, Martin
|
|
2006
|
151 |
1 |
p. 127-142
16 p.
|
artikel
|
| 5 |
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems
|
Hardy, Ruth
|
|
2006
|
151 |
1 |
p. 111-125
15 p.
|
artikel
|
| 6 |
Mathematical Service Trading Based on Equational Matching
|
Hurault, Aurélie
|
|
2006
|
151 |
1 |
p. 161-177
17 p.
|
artikel
|
| 7 |
On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner
|
Dennis, Louise A.
|
|
2006
|
151 |
1 |
p. 93-110
18 p.
|
artikel
|
| 8 |
Poitín: Distilling Theorems From Conjectures
|
Hamilton, G.W.
|
|
2006
|
151 |
1 |
p. 143-160
18 p.
|
artikel
|
| 9 |
Preface
|
Carette, Jacques
|
|
2006
|
151 |
1 |
p. 1-2
2 p.
|
artikel
|
| 10 |
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System
|
Delahaye, David
|
|
2006
|
151 |
1 |
p. 57-73
17 p.
|
artikel
|
| 11 |
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
|
Ossowski, Jörn
|
|
2006
|
151 |
1 |
p. 39-56
18 p.
|
artikel
|
Tijdschrift beschrijving