slovodefinícia
obj3
(foldoc)
OBJ3

A version of OBJ based on {order-sorted
rewriting}. OBJ3 is agent-oriented and runs on AKCL.

E-mail: , .

["Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl,
1988].

(1995-03-16)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4