Computability theory, semantics, and logic programming

Melvin Fitting 1942-

Localização: IME - Inst. Matemática e Estatística (QA810 F547c )(Acessar)

Título:
Computability theory, semantics, and logic programming
Autor: Melvin Fitting 1942-
Assuntos: Computable functions; Data structures (Computer science); COMPUTABILIDADE E COMPLEXIDADE; MATEMÁTICA APLICADA; LINGUAGEM DE PROGRAMAÇÃO; ALGORITMOS E ESTRUTURAS DE DADOS; Computer systems Programming Applications of mathematical logic
Notas: Includes bibliographies and index
Títulos relacionados: Série:Oxford logic guides 13
Editor: New York Oxford University Press Oxford Clarendon
Data de criação/publicação: 1987
Formato: xi, 198 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados