Unifikacija (informatika) — странице које воде овамо
Приказује се 35 ставки.
- Unification (computer science) (преусмерење) (← везе | уреди)
- Robinson's unification algorithm (преусмерење) (← везе | уреди)
- Most General Unifier (преусмерење) (← везе | уреди)
- Most general unifier (преусмерење) (← везе | уреди)
- Unification algorithm (преусмерење) (← везе | уреди)
- Unification (computing) (преусмерење) (← везе | уреди)
- Syntactic unification (преусмерење) (← везе | уреди)
- E-unification (преусмерење) (← везе | уреди)
- Narrowing (computer science) (преусмерење) (← везе | уреди)
- E-Unification (преусмерење) (← везе | уреди)
- Unification (term rewriting) (преусмерење) (← везе | уреди)
- Martelli-Montanari algorithm (преусмерење) (← везе | уреди)
- Unification (logic) (преусмерење) (← везе | уреди)
- Martelli-Montanari unification algorithm (преусмерење) (← везе | уреди)
- Higher-order unification (преусмерење) (← везе | уреди)
- Higher-order pattern unification (преусмерење) (← везе | уреди)
- Order-sorted unification (преусмерење) (← везе | уреди)
- Syntactically unifying (преусмерење) (← везе | уреди)
- Robinsonov algoritam ujedinjenja (преусмерење) (← везе | уреди)
- Najopštiji ujedinitelj (преусмерење) (← везе | уреди)
- Najopštiji Ujedinitelj (преусмерење) (← везе | уреди)
- Algoritam objedinjavanja (преусмерење) (← везе | уреди)
- Unifikacija (računarstvo) (преусмерење) (← везе | уреди)
- Sintaksičko ujedinjenje (преусмерење) (← везе | уреди)
- E-unifikacija (преусмерење) (← везе | уреди)
- Sužavanje (informatika) (преусмерење) (← везе | уреди)
- E-Ujedinjenje (преусмерење) (← везе | уреди)
- Ujedinjenje (prepisivanje termina) (преусмерење) (← везе | уреди)
- Marteli-Montanari algoritam (преусмерење) (← везе | уреди)
- Ujedinjenje (logika) (преусмерење) (← везе | уреди)
- Marteli-Montanari algoritam ujedinjenja (преусмерење) (← везе | уреди)
- Ujedinjenje višeg reda (преусмерење) (← везе | уреди)
- Unifikacija obrazaca višeg reda (преусмерење) (← везе | уреди)
- Unifikacija po poretku (преусмерење) (← везе | уреди)
- Sintaksički objedinjujući (преусмерење) (← везе | уреди)