Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             6 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Symbolic Dynamic Geometry System Using the Analytical Geometry Method Todd, Philip

14 4 p. 693-726
artikel
2 A System for Automated Deduction in Engineering Mechanics Todd, Philip

14 4 p. 775-790
artikel
3 Automated Deduction and Knowledge Management in Geometry Quaresma, Pedro

14 4 p. 673-692
artikel
4 Automated Detection of Interesting Properties in Regular Polygons Kovács, Zoltán

14 4 p. 727-755
artikel
5 Foreword to the Special Focus on Automated Deduction in Geometry Chen, Xiaoyu

14 4 p. 671-672
artikel
6 On n-sectors of the Angles of an Arbitrary Triangle Wang, Dongming

14 4 p. 757-773
artikel
                             6 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland
Toegankelijkheidsverklaring