All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Nested Models Implemented in Nested Theories

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F10%3AA1100YB1" target="_blank" >RIV/61988987:17310/10:A1100YB1 - isvavai.cz</a>

  • Alternative codes found

    RIV/61988987:17310/10:A1100YB0

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Nested Models Implemented in Nested Theories

  • Original language description

    Detailed text to a plenary lecture presented at the conference, on using programming languages for exact description of complex systems, for the description of which conventional languages of mathematics fail. Namely for the anticipatory systems. Applications.

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

    JD - Use of computers, robotics and its application

  • OECD FORD branch

Result continuities

  • Project

  • Continuities

    S - Specificky vyzkum na vysokych skolach

Others

  • Publication year

    2010

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Article name in the collection

    New Aspects of Automatic Control, Modelling & Simulation

  • ISBN

  • ISSN

    1790-5117

  • e-ISSN

  • Number of pages

    10

  • Pages from-to

  • Publisher name

    Europment Press

  • Place of publication

    Sofia

  • Event location

    Catania

  • Event date

    May 29, 2010

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article