Results 151 to 160 of about 270,225 (234)
An axiomatization of Herzberger's $2$-dimensional presuppositional semantics.
Notre Dame Journal of Formal Logic, 1977 openaire +3 more sources
Ontologies in modelling and analysing of big genetic data. [PDF]
Vavilovskii Zhurnal Genet SelektsiiPodkolodnyy NL +3 more
europepmc +1 more source
Axiomatizations from Structural Operational Semantics: Theory and Tools
, 2013 Þegar þróa á áreiðanlegan og stöðugan hugbúnaðar er oft fyrsta skerfið að lýsa á formlegan hátt hvað skilyrðum hann á að uppfylla. Þetta er gert með því að búa til formleg líkön af hugbúnaðinum sem nota má í þesum tilgangi . Það hefur verið vinsælt á síðari árum að nota líkön sem byggja a svokallaða uppbyggingarvinnslumerkingafræði, (á ensku ...
openaire +1 more source