Ispolʹzovanie dinamicheskikh sistem v semantike autoreferentnykh predlozheniĭ /

Tallennettuna:
Bibliografiset tiedot
OCLC:46338742
Päätekijä: Stepanov, V. A.
Kieli:Russian
Julkaistu: Moskva : Vychislitelʹnyĭ ︠t︡sentr RAN, 1997.
Sarja:Soobshcheni︠i︡a po prikladnoĭ matematike.
Aiheet:
Logic, Symbolic and mathematical.
Semantics (Philosophy)
Programming languages (Electronic computers)
Aineistotyyppi:

Monograph

Note that CRL will digitize material from the collection when copyright allows.

Kuvaus
Huomautukset:At head of title: Rossiĭska︠i︡a akademi︠i︡a nauk. Vychislitelʹnyĭ ︠t︡sentr.
"Nauchnoe izdanie"--Verso t.p.
Ulkoasu:24 p. ; 21 cm.
Bibliografia:Includes bibliographical references (p. 23-24)

Samankaltaisia teoksia