Component assembly and theorem proving in constraint handling rules

Component assembly and theorem proving in constraint handling rules

Made available in DSpace on 2014-06-12T15:52:36Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 === Devido á grande demanda por softwares cada vez mais robustos, complexos e flexíveis, e, sobretudo, pelo curtíssimo...

Full description

Bibliographic Details
Main Author: Mário Oliveira Rodrigues, Cleyton
Other Authors: Pierre Louis Robin, Jacques
Language:English
Published: Universidade Federal de Pernambuco 2014
Subjects:
Constraint Logic Programming
Component-Based Developing
Knowledge Representation
Theorem Prover
Online Access:https://repositorio.ufpe.br/handle/123456789/1821

Internet

https://repositorio.ufpe.br/handle/123456789/1821

Similar Items