Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Josef Urban

MizAR 40 for Mizar 40

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

Survival and Early Growth of Silver Fir and Pioneer Species on Two Sites in Nurse Crop Regeneration Systems in the Czech Republic

English

Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar

English

Certified Connection Tableaux Proofs for HOL Light and TPTP

English

TacticToe: Learning to Reason With HOL4 Tactics

English

Related publications

Systemic Acquired Resistance: Turning Local Infection Into Global Defense

Annual Review of Plant Biology

Molecular Biology

English

Environmental Control of Root System Biology

Annual Review of Plant Biology

Molecular Biology

English

One Hundred Ways to Invent the Sexes: Theoretical and Observed Paths to Dioecy in Plants

Annual Review of Plant Biology

Molecular Biology

English

Female Gametophyte Development in Flowering Plants

Annual Review of Plant Biology

Molecular Biology

English

Modularity in Jasmonate Signaling for Multistress Resilience

Annual Review of Plant Biology

Molecular Biology

English

The Number, Speed, and Impact of Plastid Endosymbioses in Eukaryotic Evolution

Annual Review of Plant Biology

Molecular Biology

English

The Epigenome and Plant Development

Annual Review of Plant Biology

Molecular Biology

English

Potassium Transport and Signaling in Higher Plants

Annual Review of Plant Biology

Molecular Biology

English

Autophagy: Pathways for Self-Eating in Plant Cells

Annual Review of Plant Biology

Molecular Biology

English

United in Diversity: Mechanosensitive Ion Channels in Plants

Annual Review of Plant Biology

Molecular Biology

English