gefundene Verfasser Gouvêia, Marcelo A D S

Carnielli, Walter Alexandre 1952-
Coniglio, Marcelo Esteban
Gabbay, Dov M. 1945-
Gouveia, Paula
Sernadas, Cristina

Treffer 1 - 1 von 1 für Suche 'Gouvêia, Marcelo A D S', Suchdauer: 0,47s Treffer weiter einschränken
  1. 1
    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
    DE-634
    DE-91
    DE-384
    DE-703
    DE-29
    DE-739
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: