Resolution Theorem Provers

People 3

Papers 6

Journals 0

Jobs 0

Logic And Foundations Of Mathematics

Theory Of Computation

Computability Theory

Philosophy Of Language

Analytic Philosophy

Philosophy Of Science

Presocratic Philosophy

Logic

Computational Logic

Proof Theory

Computational Linguistics

Martin Heidegger

Limits of Computation

Resolution Theorem Provers

Satisfiability Modulo Theories

Mathematical Logic

Structural Proof Theory

Follow Bruno

What is Following?

Following Bruno's work means that, in your Academia.edu News Feed, you will see Bruno's:

status updates
new papers
new research interests

and other research updates.

Bruno Woltzenlogel Paleo

Institut National de Recherche en Informatique et Automatique (INRIA)

Post-Doc

INRIA Nancy--Grand-Est Department

Automated Deduction, Computability Theory, Computational Linguistics, and Computational Logic

Follow Adrian

What is Following?

Following Adrian's work means that, in your Academia.edu News Feed, you will see Adrian's:

status updates
new papers
new research interests

and other research updates.

Adrian Rezus

Alexander of Aphrodisias, Analytic Philosophy, Ancient Logic, and Aristotle

Follow Martin

What is Following?

Following Martin's work means that, in your Academia.edu News Feed, you will see Martin's:

status updates
new papers
new research interests

and other research updates.

Martin Riener

Vienna University of Technology

Graduate Student

Faculty of Informatics

Artificial Intelligence, Automated Deduction, Computability Theory, and Computational Linguistics

Resolution Theorem Provers

What is Following?

Bruno Woltzenlogel Paleo

Institut National de Recherche en Informatique et Automatique (INRIA)

Post-Doc

INRIA Nancy--Grand-Est Department

What is Following?

Adrian Rezus

What is Following?

Martin Riener

Vienna University of Technology

Graduate Student

Faculty of Informatics

Log In

Reset Password