Search Results

Modern perspectives in Proof Theory.

• Authors : Aguilera JP; Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Wiedner Hauptstraße 8-10, 1040 Vienna, Austria.; Department of Mathematics, University of Ghent, Krijgslaan 281-S8, B9000 Ghent, Belgium.

• Source: Philosophical transactions. Series A, Mathematical, physical, and engineering sciences [Philos Trans A Math Phys Eng Sci] 2023 May 29; Vol. 381 (2248), pp. Publisher: The Royal Society Country of Publication: England NLM ID: 101133385 Publication Model: Print-Electronic Cited Medium: Internet ISSN:

Record details

Lack of evolutionary convergence in multiple primary lung cancer suggests insufficient specificity of personalized therapy.

• Authors : Cheng H; Department of Thoracic Surgery, The Fifth Affiliated Hospital, Sun Yat-Sen University, Zhuhai, Guangdong 519000, China.; Guo Z

Subjects: Lung Neoplasms*/Lung Neoplasms*/Lung Neoplasms*/genetics ; Lung Neoplasms*/Lung Neoplasms*/Lung Neoplasms*/therapy ; Lung Neoplasms*/Lung Neoplasms*/Lung Neoplasms*/pathology

• Source: Journal of genetics and genomics = Yi chuan xue bao [J Genet Genomics] 2023 May; Vol. 50 (5), pp. 330-340. Date of Electronic Publication: 2022 Nov 19.Publisher: Science press Country of Publication: China NLM ID: 101304616 Publication Model: Print-Electronic Cited Medium: Internet ISSN:

Record details

Absence perception and the philosophy of zero.

• Authors : Barton N; Kurt Gödel Research Center for Mathematical Logic (KGRC), Währinger Straße, 25, 1090 Vienna, Austria.

• Source: Synthese [Synthese] 2020; Vol. 197 (9), pp. 3823-3850. Date of Electronic Publication: 2019 May 06.Publisher: Springer Netherlands Country of Publication: Netherlands NLM ID: 100970604 Publication Model: Print-Electronic Cited Medium: Print ISSN:

Record details

Maximality and ontology: how axiom content varies across philosophical frameworks.

• Authors : Barton N; Kurt Gödel Research Center for Mathematical Logic (KGRC), University of Vienna, Währinger Straße, 25, 1090 Vienna, Austria.; Friedman SD

• Source: Synthese [Synthese] 2020; Vol. 197 (2), pp. 623-649. Date of Electronic Publication: 2017 Mar 04.Publisher: Springer Netherlands Country of Publication: Netherlands NLM ID: 100970604 Publication Model: Print-Electronic Cited Medium: Print ISSN:

Record details

Progress in modeling and simulation.

• Authors : Kindler E; Dept. of Mathematical Logic and Philosophy of Mathematics, Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic.

Subjects: Computer Simulation* ; Models, Theoretical*; Programming Languages

• Source: Sbornik lekarsky [Sb Lek] 1998; Vol. 99 (4), pp. 549-56.Publisher: Avicenum Country of Publication: Czech Republic NLM ID: 0025770 Publication Model: Print Cited Medium: Print ISSN: 0036-5327 (Print)

Record details