Author: "Pudlák, Petr" / Database: Unpaywall - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Pudlák, Petr"' showing total 4 results

Start Over Author "Pudlák, Petr" Database Unpaywall

4 results on '"Pudlák, Petr"'

1. Classification of 9-dimensional trilinear alternating forms over GF(2)

Author: Hora, Jan, primary and Pudlák, Petr, additional
Published: 2021
Full Text: View/download PDF

2. Classification of 8-Dimensional Trilinear Alternating Forms over GF(2)

Author: Hora, Jan, primary and Pudlák, Petr, additional
Published: 2015
Full Text: View/download PDF

3. MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance

Author: Urban, Josef, primary, Sutcliffe, Geoff, additional, Pudlák, Petr, additional, and Vyskočil, Jiří, additional
Full Text: View/download PDF

4. Solving the $100 modal logic challenge

Author: Rabe, Florian, primary, Pudlák, Petr, additional, Sutcliffe, Geoff, additional, and Shen, Weina, additional
Published: 2009
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results