Zobrazeno 1 - 10 of 14 pro vyhledávání: '"Beeson, Michael J."'
2
Akademický článek
Triangles with Vertices on Lattice Points
Autor: Beeson, Michael J.
Publikováno v: The American Mathematical Monthly, 1992 Mar 01. 99(3), 243-252.
Externí odkaz: https://www.jstor.org/stable/2325060
Zobrazit plný text záznamu
3
Akademický článek
The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations
Autor: Beeson, Michael J.
Publikováno v: The Journal of Symbolic Logic, 1975 Sep 01. 40(3), 321-346.
Externí odkaz: https://www.jstor.org/stable/2272158
Zobrazit plný text záznamu
4
Akademický článek
Derived Rules of Inference Related to the Continuity of Effective Operations
Autor: Beeson, Michael J.
Publikováno v: The Journal of Symbolic Logic, 1976 Jun 01. 41(2), 328-336.
Externí odkaz: https://www.jstor.org/stable/2272231
Zobrazit plný text záznamu
6
Periodical
Book Review: Implementing mathematics with the Nuprl proof development system
Autor: Beeson, Michael J.
Publikováno v: Journal of Symbolic Logic; September 1990, Vol. 55 Issue: 3 p1299-1302, 4p
Zobrazit plný text záznamu
8
Review
Automated Reasoning. Introduction and Applications Larry Wos Ross Overbeek Ewing Lusk Jim Boyle
Autor: Beeson, Michael J.
Publikováno v: The Journal of Symbolic Logic, 1986 Jun 01. 51(2), 464-465.
Externí odkaz: https://www.jstor.org/stable/2274071
Zobrazit plný text záznamu
9
Periodical
Book Review: Automated reasoning. Introduction and applications
Autor: Beeson, Michael J.
Publikováno v: Journal of Symbolic Logic; June 1986, Vol. 51 Issue: 2 p464-465, 2p
Zobrazit plný text záznamu
10
Akademický článek
Towards a computation system based on set theory
Autor: Beeson, Michael J.
Publikováno v: In Theoretical Computer Science 1988 60(3):297-340
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje