Suchergebnisse - Sernadas, Cristina

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Decidability of Logical Theories and Their Combination
    von Rasga, João, Sernadas, Cristina

    Veröffentlicht 2020
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Analysis and synthesis of logics: how to cut and paste reasoning systems
    von Carnielli, Walter Alexandre 1952-, Coniglio, Marcelo Esteban, Gabbay, Dov M. 1945-, Gouveia, Paula, Sernadas, Cristina

    Veröffentlicht 2008
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: