( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning

, , и . Proceedings of TABLEAUX 2007 (16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), том 4548 из LNAI, стр. 238--244. Aix En Provence, France, Springer-Verlag, (июля 2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

L Bräuer

L Solymosi

L Müller

L Eberl

L Stuckert

 

Другие публикации лиц с тем же именем

Search for a light pseudoscalar Higgs boson in the dimuon decay channel in pp collisions at √s = 7 TeV, , , , , , , , , и 2183 other автор(ы). Phys Rev Lett, 109 (12): 121801-121801 (сентября 2012)Observation of gravitational waves from two neutron star-black hole coalescences, , , , , , , , , и 1592 other автор(ы). (2021)cite arxiv:2106.15163.A gravitational-wave standard siren measurement of the Hubble constant, , , , , , , , , и 1304 other автор(ы). (2017)cite arxiv:1710.05835Comment: 26 pages, 5 figures, Nature in press. For more information see https://dcc.ligo.org/LIGO-P1700296/public.The Physics of the B Factories, , , , , , , , , и 2024 other автор(ы). The European Physical Journal C, (08.07.2014)Search for lensing signatures in the gravitational-wave observations from the first half of LIGO-Virgo's third observing run, , , , , , , , , и 1369 other автор(ы). (2021)cite arxiv:2105.06384Comment: main paper: 16 pages and 5 figures; total with appendices: 30 pages and 6 figures.Properties and astrophysical implications of the 150 Msun binary black hole merger GW190521, , , , , , , , , и 1248 other автор(ы). (2020)cite arxiv:2009.01190Comment: 39 pages, 13 figures; data available at https://dcc.ligo.org/P2000158-v4/public.GW190521: A Binary Black Hole Merger with a Total Mass of $150 ~ M_ødot$, , , , , , , , , и 1247 other автор(ы). (2020)cite arxiv:2009.01075Comment: Supplementary Material at https://dcc.ligo.org/LIGO-P2000020/Public.Observation of Gravitational Waves from a Binary Black Hole Merger, , , , , , , , , и 1001 other автор(ы). Phys. Rev. Lett., (февраля 2016)Defining the role of common variation in the genomic and biological architecture of adult human height, , , , , , , , , и 794 other автор(ы). Nat. Genet., 46 (11): 1173--1186 (ноября 2014)Searches for continuous gravitational waves from nine young supernova remnants, , , , , , , , , и 886 other автор(ы). (18.12.2014)