Idioma:

Program development in computational logic a decade of research advances in logic-based program development

M Bruynooghe (Maurice); K.-K Lau (Kung-Kiu) 1953

Acesso online. A biblioteca também possui exemplares impressos.

Título:
Program development in computational logic a decade of research advances in logic-based program development
Autor: M Bruynooghe (Maurice); K.-K Lau (Kung-Kiu) 1953
Assuntos: Logic programming; Computer logic; Logique informatique; Programmation logique; Logique computationnelle; Computational logic; Logische Programmierung; Programmsynthese; Programmtransformation; Softwareentwicklung; LÓGICA MATEMÁTICA (CONGRESSOS); Aufsatzsammlung
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 3049; Lecture notes in computer science State-of-the-art survey
Editor: Berlin Springer New York
Data de criação/publicação: c2004
Formato: viii, 538 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados