Treffer 1 – 2 von 2 für Suche 'Sernadas, Cristina', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Decidability of Logical Theories and Their Combination

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

    Veröffentlicht 2020

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Analysis and synthesis of logics how to cut and paste reasoning systems

    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
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: