Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Bok Engelsk 1995 International CTRS Workshop
| Utgitt | Berlin : Springer , c1995
|
|---|---|
| Omfang | VIII, 373 s. : ill.
|
| Emner | Logikkprogrammering
Omskrivning (Programmering) Omskrivning Parallellprosessering programmeringsspråk formelle språk |
| ISBN | 3540603816
|
