Zobrazeno 1 - 10
of 483
pro vyhledávání: '"Lévy, Jean"'
Autor:
DI VIRGILIO, MARÍA MERCEDES, LULLE, THIERRY, CONTRERAS, YASNA, DUREAU, FRANÇOISE, LEVY, JEAN-PIERRE, LE ROUX, GUILLAUME
Publikováno v:
Estudios Demográficos y Urbanos, 2024 Jan 01. 393 (117), 1-29.
Externí odkaz:
https://www.jstor.org/stable/27323527
Autor:
Szeftel, Jacob1 jacob.szeftel@u-paris.fr, Lévy, Jean-Claude1
Publikováno v:
EPJ Web of Conferences. 8/8/2024, Vol. 300, p1-5. 5p.
Autor:
Szeftel, Jacob, Lévy, Jean-Claude
Publikováno v:
In Optics Communications 1 November 2024 570
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Comparing provers on a formalization of the same problem is always a valuable exercise. In this paper, we present the formal proof of correctness of a non-trivial algorithm from graph theory that was carried out in three proof assistants: Why3, Coq,
Externí odkaz:
http://arxiv.org/abs/1810.11979
Autor:
Levy, Jean-Michel
Production and decay rates, polarization and differential distributions of decay products are calculated for a heavy neutrino produced in charged pseudoscalar meson decay and decaying itself in charged pseudoscalar and lepton or a lepton-antilepton p
Externí odkaz:
http://arxiv.org/abs/1805.06419
Autor:
Lévy, Jean-Marc
Texte remanié de: Thèse de doctorat--Histoire de l'art--Strasbourg 2, 2004.
Bibliogr. tome 2, p. 225-252.
Bibliogr. tome 2, p. 225-252.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb411975988
Publikováno v:
Biblioteca Digital de Teses e Dissertações do ANHEMBIUniversidade Anhembi MorumbiANHEMBI.
Made available in DSpace on 2015-08-18T17:46:41Z (GMT). No. of bitstreams: 1 165668.pdf: 31955 bytes, checksum: 9c491d799d220e03391328add92c8706 (MD5) Previous issue date: 2005-02-17
Coordenação de Aperfeiçoamento de Pessoal de Nível Superio
Coordenação de Aperfeiçoamento de Pessoal de Nível Superio
Externí odkaz:
http://sitios.anhembi.br/tedesimplificado/handle/TEDE/1520