Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

SARSense: Analyzing air- and space-borne C- and L-band SAR backscattering signals to changes in soil and plant parameters of crops., , , , , , , , , und 13 andere Autor(en). IGARSS, Seite 6092-6095. IEEE, (2021)Performance of the ATMOS41 All-in-One Weather Station for Weather Monitoring., , , und . Sensors, 21 (3): 741 (2021)The SARSense Campaign: Air- and Space-Borne C- and L-Band SAR for the Analysis of Soil and Plant Parameters in Agriculture., , , , , , , , , und 13 andere Autor(en). Remote. Sens., 13 (4): 825 (2021)Sarsense: A C- and L-Band SAR Rehearsal Campaign in Germany in Preparation for ROSE-L., , , , , , , , , und 13 andere Autor(en). IGARSS, Seite 2137-2140. IEEE, (2020)Monitoring Irrigation in Small Orchards with Cosmic-Ray Neutron Sensors., , , , , , , , und . Sensors, 23 (5): 2378 (März 2023)Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics.. CoRR, (2021)Curry-Howard-Lambek Correspondence for Intuitionistic Belief.. Stud Logica, 109 (6): 1441-1461 (2021)Mechanising Gödel-Löb Provability Logic in HOL Light., und . J. Autom. Reason., 67 (3): 29 (September 2023)Investigations of proof theory and automated reasoning for non-classical logics.. University of Genoa, Italy, (2022)base-search.net (ftunivgenova:oai:iris.unige.it:11567/1091313).Universal Algebra in UniMath., , und . CoRR, (2021)