Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where authors phrase all words 'Degtyarev, A' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 9 riferimenti
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Degtyarev, A; Gurevich, Y; Narendran, P; Veanes, M; Voronkov, A
      Decidability and complexity of simultaneous rigid E-unification with one variable and related results

      THEORETICAL COMPUTER SCIENCE
    2. Degtyarev, A; Kharlamov, V
      Topological properties of real algebraic varieties: du cote de chez Rokhlin

      RUSSIAN MATHEMATICAL SURVEYS
    3. A.Degtyarev; A.Voronkov
      Logic for Artificial Intelligence: What You Always Wanted to Know about Rigid E-Unification

      Journal of automated reasoning
    4. DEGTYAREV A; KHARLAMOV V
      ON THE MODULI SPACE OF REAL ENRIQUES SURFACES

      Comptes rendus de l'Academie des sciences. Serie 1, Mathematique
    5. DEGTYAREV A; VORONKOV A
      A NOTE ON SEMANTICS OF LOGIC PROGRAMS WITH EQUALITY BASED ON COMPLETE-SETS OF E-UNIFIERS

      The journal of logic programming
    6. DEGTYAREV A; VORONKOV A
      THE UNDECIDABILITY OF SIMULTANEOUS RIGID E-UNIFICATION

      Theoretical computer science
    7. DEGTYAREV A; KHARLAMOV V
      TOPOLOGICAL CLASSIFICATION OF REAL ENRIQUES SURFACES

      Topology
    8. DEGTYAREV A; KHARLAMOV V
      HALVES OF A REAL ENRIQUES SURFACE

      Commentarii mathematici helvetici
    9. BRYM RJ; DEGTYAREV A
      ANTI-SEMITISM IN MOSCOW - RESULTS OF AN OCTOBER 1992 SURVEY

      Slavic review


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 22/01/21 alle ore 05:10:08