Results 111 to 120 of about 132 (130)

Uniform Logical New Proofs for the Daniell–Stone Theorem and the Riesz Representation Theorem

Bulletin of the Iranian Mathematical Society, 2022
Alireza Mofidi
exaly  

Combination radiation therapy and chemotherapy: A logical basis for their clinical use

Ca-A Cancer Journal for Clinicians, 1976
Stephen K Carter, S K Carter
exaly  

Research on emotional and logical proofs

The Southern Speech Journal, 1963
Samuel L Becker
exaly  

Agricultural mechanization in Africa: Myths, realities and an emerging research agenda

Global Food Security, 2020
Thomas Daum, Regina Birner
exaly  

Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem

Quantum - the Open Journal for Quantum Science, 2020
Ravi Kunjwal
exaly  

Streams and strings in formal proofs

Theoretical Computer Science, 2002
Alessandra Carbone
exaly  

A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs

Information and Computation, 2010
Alessandra Carbone
exaly  

Mechanization of Small-Scale Agriculture in China: Lessons for Enhancing Smallholder Access to Agricultural Machinery

Sustainability, 2022
exaly  

New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory

Numerical Functional Analysis and Optimization, 1993
Ulrich Kohlenbach
exaly  

Constructions, proofs and the meaning of logical constants

Journal of Philosophical Logic, 1983
exaly