( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

, , , , , , , , и . CoRR, (2022)

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.

Elvira Wenda

Klaus Wenda

Eliane Wenda

Berit Wenda

Klaus Wenda

 

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

FMNet: Latent Feature-Wise Mapping Network for Cleaning Up Noisy Micro-Doppler Spectrogram., , , , , и . IEEE Trans. Geosci. Remote. Sens., (2022)MDPose: Human Skeletal Motion Reconstruction Using WiFi Micro-Doppler Signatures., , , , , и . IEEE Trans. Aerosp. Electron. Syst., 60 (1): 157-167 (февраля 2024)Low-cost vector map assisted navigation strategy for autonomous vehicle., , , , , , , и . APCCAS, стр. 536-539. IEEE, (2018)Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem., и . CoRR, (2018)A High-Resolution Velocity Inversion Method Based on Attention Convolutional Neural Network., , , и . IEEE Trans. Geosci. Remote. Sens., (2023)Exploiting WiFi Channel State Information for Residential Healthcare Informatics., , , , , и . IEEE Commun. Mag., 56 (5): 130-137 (2018)Performance Analysis of Adaptive RIS-Assisted Clustering Strategies in Downlink Communication Systems., , , , , , и . IEEE Internet Things J., 10 (5): 4520-4530 (марта 2023)Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL., , и . J. Autom. Reason., 62 (1): 69-91 (2019)The Sturm-Tarski Theorem.. Arch. Formal Proofs, (2014)A large-scale multimodal dataset of human speech recognition., , , , , , , , и . CoRR, (2023)