Dana Scott

}} |local_nascimento =Berkeley |nacionalidade = Estadunidense |campo =Matemática, lógica, ciência da computação e filosofia |tese =1958: ''Convergent sequences of complete theories'' |orientador = |orientado =, , , , , , , , |premio =, , , , }} Dana Stewart Scott (Berkeley, ) é um matemático, lógico, informático e filósofo estadunidense.

Contribuiu significativamente para a teoria dos autômatos, teoria dos modelos e semântica de linguagens de programação.

Fornecido pela Wikipedia
A mostrar 1 - 20 resultados de 47 para a pesquisa 'Scott, Dana', tempo de pesquisa: 0.15seg Refinar resultados