Počet záznamů: 1  

Fitting, Melvin, 1942-

  1. Osobní jménoFitting, Melvin, 1942-
    Jiná podoba jménaFitting, Melvin Chris, 1942-
    BiografiePublikuje v oboru matematické logiky a logických systémů a počítačové vědy.
    Zdroj nalezených informacíFirst-order logic and automated theorem proving [Fitting, 1996] (Melvin Fitting) ; LC (Names) ; LC (Names) (další podoba jména)
    DatabázeSoubor osobních jmen a jmen rodin (rodů)
    Odkazy (4) - Knihy
    osoba

    osoba

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.