VDict - Definition of Han Unification

Dictionary
Translation

Tools
About
- About
- FAQ
- Privacy policy
- Contact us
Options
Tiếng Việt

Lookup

Computing (FOLDOC)

English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese

Translate now

Search in: Word

Vietnamese keyboard: Off

Virtual keyboard: Show

Translation

powered by

search result for Han Unification in Computing (FOLDOC) dictionary

occurs check unification complete unification HASL Han character unify Han Unification PHOCUS Fresh Quty negation by failure logic programming GAPLog SFLV QPE unifier narrowing most general unifier FUNLOG ISL Prolog-III TABLOG HiLog principal type Constraint Logic Programming Constraint Handling In Prolog Extended Self-containing Prolog IDEAL instantiation Lolli logic variable XSB Parlog BinProlog type inference Wild_LIFE resolution rl Prolog

Copyright © 2004-2016 VDict.com