Zum Inhalt springen

  2. Baldan, Paolo [HerausgeberIn]; Paiva, Valeria de [HerausgeberIn] ; CALCO 10. 2023 Bloomington, Ind

    10th Conference on Algebra and Coalgebra in Computer Science : CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, September, 2023

    Erschienen in: Leibniz international proceedings in informatics ; 270

  5. Trotta, Davide [VerfasserIn]; Spadetto, Matteo [VerfasserIn]; de Paiva, Valeria [VerfasserIn] ; Davide Trotta and Matteo Spadetto and Valeria de Paiva [MitwirkendeR]

    The Gödel Fibration

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  6. de Paiva, Valeria [HerausgeberIn]; de Queiroz, Ruy [HerausgeberIn]; Moss, Lawrence S. [HerausgeberIn]; Leivant, Daniel [HerausgeberIn]; de Oliveira, Anjolina G. [HerausgeberIn]

    Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9160

  7. de Paiva, Valeria [VerfasserIn]; von Genabith, Josef [VerfasserIn]; Ritter, Eike [VerfasserIn]; Crouch, Richard [VerfasserIn] ; Valeria de Paiva and Josef von Genabith and Eike Ritter and Richard Crouch [MitwirkendeR]

    Linear Logic and Applications (Dagstuhl Seminar 99341)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1999

  8. Paiva, Valeria de [VerfasserIn]; Real, Livy [VerfasserIn]; Kalouli, Aikaterini-Lida [VerfasserIn]

    Of Seringueiros and Sambistas: Occupation Mappings in Historical Text

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Workshop on Digital Humanities and Natural Language Processing (2. : 2022 : Online): Second Workshop on Digital Humanities and Natural Language Processing ; (2022), Seite 32-40

  9. Kalouli, Aikaterini-Lida [VerfasserIn]; Sevastjanova, Rita [VerfasserIn]; de Paiva, Valeria [VerfasserIn]; Crouch, Richard [VerfasserIn]; El-Assady, Mennatallah [VerfasserIn]

    XplaiNLI : Explainable Natural Language Inference through Visual Analytics

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KOPS - The Institutional Repository of the University of Konstanz, 2020

  10. Kalouli, Aikaterini-Lida [VerfasserIn]; Sevastjanova, Rita [VerfasserIn]; de Paiva, Valeria [VerfasserIn]; Crouch, Richard [VerfasserIn]; El-Assady, Mennatallah [VerfasserIn]

    XplaiNLI : Explainable Natural Language Inference through Visual Analytics

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Konstanz: KOPS Universität Konstanz, 2020

  11. Hietz, Peter [VerfasserIn]; Wagner, Katrin [VerfasserIn]; Nunes Ramos, Flavio [VerfasserIn]; Sarmento Cabral, Juliano [VerfasserIn]; Agudelo, Claudia [VerfasserIn]; Benavides, Ana María [VerfasserIn]; Cach-Pérez, Manuel Jesús [VerfasserIn]; Cardelús, Catherine L. [VerfasserIn]; Chilpa Galván, Nahlleli [VerfasserIn]; Erickson Nascimento da Costa, Lucas [VerfasserIn]; De Paula Oliveira, Rodolfo [VerfasserIn]; Einzmann, Helena J. R. [VerfasserIn]; De Paiva Farias, Rafael [VerfasserIn]; Guzman-Jacob, Valeria [VerfasserIn]; Kattge, Jens [VerfasserIn]; Kessler, Michael [VerfasserIn]; Kirby, Catherine [VerfasserIn]; Kreft, Holger [VerfasserIn]; Krömer, Thorsten [VerfasserIn]; Males, Jamie [VerfasserIn]; Monsalve Correa, Samuel [VerfasserIn]; Moreno-Chacón, Maria [VerfasserIn]; Petter, Gunnar [VerfasserIn]; Reyes-García, Casandra [VerfasserIn]; [...]

    Putting vascular epiphytes on the traits map

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Journal of ecology ; 110(2022), 2, Seite 340-358

  12. Johannes de Sacrobosco [VerfasserIn] ; Valeriano, Pierio [Sonstige Person, Familie und Körperschaft]; Nuñez, Pedro [BearbeiterIn]; Vinet, Elie [BearbeiterIn]; Cholinus, Maternus [DruckerIn]

    SPHAERA || IOANNIS DE || SACRO BOSCO || EMENDATA.|| Eliae Vineti Santonis scholia in eandem || Sphaeram, ab ipso authore restituta.|| Adiunximus huic libro compendium in Sphae=||ram par Pierium Valerianum Bellunensem,|| Et || PETRI NONII SALACIENSIS || demonstrationem eorum, quae in extremo || capite de climatibus Sacroboscius scri-||bit de inaequali climatum lati-||tudine. eodem Vineto || interprete.||

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Köln: Cholinus, Maternus, 1566 ; Online-Ausgabe, Freiburg i. Br.: Universitätsbibliothek, 2022