About
Countries and terms
English
Español
Esperanto
Français
Norsk bokmål
Português
Suomi
বাংলা
Select
Author
Work
Search filters
Gender
Any
Female
Male
Trans man
Trans woman
Non-binary
Type of work
Any
Film
Literary work
Musical work
Painting
Sculpture
List of works by Frank Theiss
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
The Higher-Order Prover Leo-II
scientific article published on 22 September 2015
Paulina is supported by:
Ártica - Online Cultural Center
Creative Commons Uruguay
Data Uruguay
Wikimedistas de Uruguay
About Paulina
About
Source code
Help translate
Help
Documentation
Countries and terms