Alexander Leitsch

Alexander Leitsch

3 ספרים במאגר

ספרים

Automated reasoningAlexander Leitsch

Automated reasoning

Alexander Leitsch · 2001

The Resolution CalculusAlexander Leitsch

The Resolution Calculus

Alexander Leitsch · 2012

Methods of Cut-EliminationAlexander Leitsch

Methods of Cut-Elimination

Alexander Leitsch · 2011