Open AccessA formal description of the search space in the synthesis decisions
Author(s) -
Віктор Володимирович Семко
Publication year - 2013
Publication title -
problemi ìnformatizacìï ta upravlìnnâ
Language(s) - English
Resource type - Journals
ISSN - 2073-4751
DOI - 10.18372/2073-4751.2.6479
Subject(s) - space (punctuation) , computer science , grammar , development (topology) , formal language , theoretical computer science , formal synthesis , formal grammar , formal description , mathematics , programming language , artificial intelligence , rule based machine translation , linguistics , mathematical analysis , philosophy , chemistry , stereochemistry , operating system