These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.


BIOMARKERS

Molecular Biopsy of Human Tumors

- a resource for Precision Medicine *

130 related articles for article (PubMed ID: 30069074)

  • 1. Hammer for Coq: Automation for Dependent Type Theory.
    Czajka Ł; Kaliszyk C
    J Autom Reason; 2018; 61(1):423-453. PubMed ID: 30069074
    [TBL] [Abstract][Full Text] [Related]  

  • 2. The Higher-Order Prover Leo-II.
    Benzmüller C; Sultana N; Paulson LC; Theiß F
    J Autom Reason; 2015; 55(4):389-404. PubMed ID: 30174358
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Learning to Guide a Saturation-Based Theorem Prover.
    Abdelaziz I; Crouse M; Makni B; Austel V; Cornelio C; Ikbal S; Kapanipathi P; Makondo N; Srinivas K; Witbrock M; Fokoue A
    IEEE Trans Pattern Anal Mach Intell; 2023 Jan; 45(1):738-751. PubMed ID: 34982678
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Adaptive Resonance Theory in the time scales calculus.
    Seiffertt J
    Neural Netw; 2019 Dec; 120():32-39. PubMed ID: 31500932
    [TBL] [Abstract][Full Text] [Related]  

  • 5. A precondition prover for analogy.
    Bledsoe WW
    Biosystems; 1995; 34(1-3):225-47. PubMed ID: 7727701
    [TBL] [Abstract][Full Text] [Related]  

  • 6. A Comprehensive Framework for Saturation Theorem Proving.
    Waldmann U; Tourret S; Robillard S; Blanchette J
    J Autom Reason; 2022; 66(4):499-539. PubMed ID: 36353684
    [TBL] [Abstract][Full Text] [Related]  

  • 7. LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset).
    Benzmüller C; Farjami A; Fuenmayor D; Meder P; Parent X; Steen A; van der Torre L; Zahoransky V
    Data Brief; 2020 Dec; 33():106409. PubMed ID: 33134442
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Epistemic phase transitions in mathematical proofs.
    Viteri S; DeDeo S
    Cognition; 2022 Aug; 225():105120. PubMed ID: 35405458
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Counterexamples in scale calculus.
    Filippenko B; Zhou Z; Wehrheim K
    Proc Natl Acad Sci U S A; 2019 Apr; 116(18):8787-8797. PubMed ID: 30979800
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Learning-assisted theorem proving with millions of lemmas.
    Kaliszyk C; Urban J
    J Symb Comput; 2015 Jul; 69():109-128. PubMed ID: 26525678
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Proof simplification and automated theorem proving.
    Kinyon M
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180034. PubMed ID: 30966970
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Tactics for mechanized reasoning: a commentary on Milner (1984) 'The use of machines to assist in rigorous proof'.
    Gordon MJ
    Philos Trans A Math Phys Eng Sci; 2015 Apr; 373(2039):. PubMed ID: 25750147
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Formalization of bond graph using higher-order-logic theorem proving.
    Qasim U; Rashid A; Hasan O
    ISA Trans; 2022 Sep; 128(Pt B):453-469. PubMed ID: 34972543
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Combining Higher-Order Logic with Set Theory Formalizations.
    Kaliszyk C; Pąk K
    J Autom Reason; 2023; 67(2):20. PubMed ID: 37252035
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset).
    Benzmüller C
    Data Brief; 2019 Jun; 24():103823. PubMed ID: 31016212
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Position paper: the science of deep specification.
    Appel AW; Beringer L; Chlipala A; Pierce BC; Shao Z; Weirich S; Zdancewic S
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871056
    [TBL] [Abstract][Full Text] [Related]  

  • 17. A Bayesian approach to the argument from ignorance.
    Oaksford M; Hahn U
    Can J Exp Psychol; 2004 Jun; 58(2):75-85. PubMed ID: 15285597
    [TBL] [Abstract][Full Text] [Related]  

  • 18. The Cantor-Bernstein theorem: how many proofs?
    Sieg W
    Philos Trans A Math Phys Eng Sci; 2019 Mar; 377(2140):20180031. PubMed ID: 30966968
    [TBL] [Abstract][Full Text] [Related]  

  • 19. A Formal C Memory Model for Separation Logic.
    Krebbers R
    J Autom Reason; 2016; 57(4):319-387. PubMed ID: 30174361
    [TBL] [Abstract][Full Text] [Related]  

  • 20. [On vibration hazards of chipping-hammer operators in an iron foundry. Part 2. Results of the hygienic control].
    Harada N; Matsumoto T; Yamada S; Kobayashi F
    Sangyo Igaku; 1982 Jan; 24(1):75-84. PubMed ID: 7131885
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 7.