|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Graph Library for Isabelle |
Noschinski, Lars |
2014 |
9 | 1 |
p. 23-39 |
artikel |
|
| 2 | Antimagicness of Generalized Corona and Snowflake Graphs |
Daykin, Jacqueline W. |
2014 |
9 | 1 |
p. 105-111 |
artikel |
|
| 3 | A Single Sweep AGE Algorithm based on Off-Step Discretization for the Solution of Viscous Burgers’ Equation on a Variable Mesh |
Talwar, Jyoti |
2014 |
9 | 1 |
p. 85-103 |
artikel |
|
| 4 | Coquelicot: A User-Friendly Library of Real Analysis for Coq |
Boldo, Sylvie |
2014 |
9 | 1 |
p. 41-62 |
artikel |
|
| 5 | Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science |
Théry, Laurent |
2014 |
9 | 1 |
p. 1-3 |
artikel |
|
| 6 | HOL(y)Hammer: Online ATP Service for HOL Light |
Kaliszyk, Cezary |
2014 |
9 | 1 |
p. 5-22 |
artikel |
|
| 7 | L(2, 1)-Labeling of Permutation and Bipartite Permutation Graphs |
Paul, Satyabrata |
2014 |
9 | 1 |
p. 113-123 |
artikel |
|
| 8 | Quantum Computation and Real Multiplication |
Marcolli, Matilde |
2014 |
9 | 1 |
p. 63-84 |
artikel |
8 gevonden resultaten