9 results on '"Steen, Alexander"'
Search Results
2. GCAI-2018. 4th Global Conference on Artificial Intelligence
3. Theorem Provers For Every Normal Modal Logic
4. Capability Discovery for Automated Reasoning Systems
5. Leo-III Version 1.1 (System description)
6. Going Polymorphic - TH1 Reasoning for Leo-III
7. Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
8. Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic
9. Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.