Lukás Vích

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Automated Theorem Proving

General Purpose

Top Venues

Publications

Marie Duzí, Marek Mensík, Lukás Vích
Deduction System for TIL-2010. RASLAN (2012)
Marie Duzí, Martina Cíhalová, Marek Mensík, Lukás Vích
Process Ontology. RASLAN (2010)