( en | de | ru )

 

Disambiguierung von "Marcos, João"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.

, , und . WoLLIC, Volume 7456 von Lecture Notes in Computer Science, Seite 321-335. Springer, (2012)

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.

Gil dos Santos Guerreiro João

João Barros

João Fonseca

João Carreira

João Matos

 

Weitere Publikationen von Autoren mit dem selben Namen

Proof Search on Bilateralist Judgments over Non-deterministic Semantics., , und . TABLEAUX, Volume 12842 von Lecture Notes in Computer Science, Seite 129-146. Springer, (2021)Wrongway Drivers Detection Based on Optical Flow., , , und . ICIP (5), Seite 141-144. IEEE, (2007)Robust segmentation for outdoor traffic surveillance., , , und . ICIP, Seite 2652-2655. IEEE, (2008)Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics., und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 640-658. Springer, (2022)Noise Simulation for the Improvement of Training Deep Neural Network for Printer-Proof Steganography., , , und . ICPRAM, Seite 179-186. SCITEPRESS, (2024)Nelson's logic ℒ., , , und . Log. J. IGPL, 28 (6): 1182-1206 (2020)Correction to: Sequent Systems for Negative Modalities., , und . Logica Universalis, 13 (1): 135 (2019)A Framework for Wrong Way Driver Detection Using Optical Flow., , , und . ICIAR, Volume 4633 von Lecture Notes in Computer Science, Seite 1117-1127. Springer, (2007)On Logics of Perfect Paradefinite Algebras., , , , und . LSFA, Volume 357 von EPTCS, Seite 56-76. (2021)Preface., und . LSFA, Volume 348 von Electronic Notes in Theoretical Computer Science, Seite 1-2. Elsevier, (2019)