Number of the records: 1

Fitting, Melvin, 1942-

Personal name	Fitting, Melvin, 1942-
Jiná podoba jména	Fitting, Melvin Chris, 1942-
Biography	Publikuje v oboru matematické logiky a logických systémů a počítačové vědy.
Source data found	First-order logic and automated theorem proving [Fitting, 1996] (Melvin Fitting) ; LC (Names) ; LC (Names) (další podoba jména)
Database	Soubor osobních jmen a jmen rodin (rodů)
References	(4) - Books

person

Number of the records: 1