english
česky

Přihlášení

Přihlaste se účtem své organizace prostřednictvím eduID.

Publications
Institute
Research
News
Applications
Events
Library
Jobs
Contacts
Departments
People

Přihlášení

Přihlaste se účtem své organizace prostřednictvím eduID.

Publications
Institute
Research
News
Applications
Events
Library
Jobs
Contacts
Departments
People

Home
Events
Proof By Abduction in Isabelle/HOL.

Proof By Abduction in Isabelle/HOL.

Kdy: February 3, 2025

Kde: Hora Informaticae

Seminář / přednáška Proof By Abduction in Isabelle/HOL..