isvav_result

publication_year

occurrences__organization__code

solver__id__sc2

result_type__code

Druh výsledku je určen klasifikací RIV, která je oficálním číselníkem IS VaVaI. Stručný přehled výsledků dle RIV je uveden <a href="https://www.vyzkum.cz/FrontClanek.aspx?idsekce=1395" target="_blank" >zde</a>.

language__code

Jazyk výsledku udáva původní jazyk, ve kterém byl daný výsledek vytvořen. Kompletní seznam jazyků ve kterém je možno výsledek do RIV předložit je <a href="https://www.vyzkum.cz/FrontClanek.aspx?idsekce=1397" target="_blank" >zde</a>.

cep__code

ford__code

_group_id67

occurrences__funder__code

Dodavatel dat je poskytovatel podpory na VaV, s jejíž pomocí bylo výsledku dosaženo.

project__programme__code

x_range_count_solvers

project__id

Co hledáte?

Rychlé hledání

Chytré vyhledávání

Filtry

Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers

Efficient solution of a class of quantified constraints with quantifier prefix exists-forall

Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall

Changes in the Content and Effects of the Criteria of Legality and Correctness in the Sphere of Administrative Decisions in the Czech Republic

National Report on Automation in Decision-Making in Civil Procedure in the Czech Republic

Je rozhodovací procedura v Radě Evropské unie spravedlivá? Principy zastoupení a důsledky změn rozhodovací procedury navrhované ústavní smlouvou

Labelled Superposition for PLTL

Service of procedural documents in the Czech Republic

Changes in the Decision-making Procedures of the EU in the Reform Treaty

Modelling and Simulation of Decision Making Procedures in Extending European Union