Výsledky vyhľadávania - "Logic programming applications"
-
1
A generic approach to bytecode analysis
ISBN: 1109017413, 9781109017410Vydavateľské údaje: ProQuest Dissertations & Theses 01.01.2008“…) using the framework of abstract interpretation has been the subject of significant research in the last decade…”
Získať plný text
Dissertation
-
2
Automating forms publishing with the Intelligent Filing Manager
ISBN: 9780780357310, 0780357310ISSN: 1062-922XVydavateľské údaje: IEEE 1999Vydané v IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028) (1999)“… The Intelligent Filing Manager (INTELLIFM) software, a logic programming application, has been developed for high-volume forms publishing applications where large sets of varied forms need to be filed simultaneously…”
Získať plný text
Konferenčný príspevok..