Theorem Order

A Generalization Of Bohr-Mollerup's Theorem For Higher Order Convex Functions

A Generalization Of Bohr-Mollerup's Theorem For Higher Order Convex Functions

Theorem Proving In Higher Order Logics

Higher Order Logic Theorem Proving And Its Applications

Higher Order Logic Theorem Proving And Its Applications

Higher Order Logic Theorem Proving And Its Applications

Theorem Proving In Higher Order Logics

Local Analysis For The Odd Order Theorem

Theorem Proving In Higher Order Logics

Theorem Proving In Higher Order Logics

Theorem Proving In Higher Order Logics

Theorem Proving In Higher Order Logics

Theorem Proving In Higher Order Logics

Theorem Proving In Higher Order Logics

Theorem Proving In Higher Order Logics

Theorem Proving In Higher Order Logics

First-Order Logic And Automated Theorem Proving

Characterization Theorems Inspired By The Higher Order Banach Mapping Ii

Characterization Theorems Inspired By The Higher-Order Banach Mapping I