vix.ing · top · new · best · stats · spec

Harizanov, Valentina

  1. In Memory of Martin Davis
    2024/01/15 by Calvert, Wesley, Harizanov, Valentina, Omodeo, Eugenio G. +2 · 1 citation
    #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Logic (math.LO) #Logic in Computer Science (cs.LO) #Number Theory (math.NT)