Computer Science Report of Stanford University. 855, Deductive Synthesis of the Unification Algorithm /
| Hlavní autor: |
Manna, Zohar
(
Autor )
|
|---|---|
| Další autoři: |
Waldinger, Richard
(
Autor )
|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Stanford :
Stanford University,
1981
|
| Předmět: | |
|
|