Treffer 1 - 2 von 2 für Suche 'Sevalnev, Mark', Suchdauer: 0,25s Treffer weiter einschränken
  1. 1
    Computing Stable Models via Reductions to Difference Logic

    Computing Stable Models via Reductions to Difference Logic von Janhunen, Tomi, Niemelä, Ilkka, Sevalnev, Mark


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Environmental Protection in the Implementation of Genetic Engineering Activities

    Environmental Protection in the Implementation of Genetic Engineering Activities von Putilo, Natalia, Shupletsova, Julia, Sevalnev, Viacheslav, Karpovich, Oleg


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: