Automated Deduction

People 14

Documents 0

Journals 0

Jobs 0

Logic And Foundations Of Mathematics

Modal Logic

Intuitionistic Logic

Computer Science

Theory Of Computation

Automata Theory (Formal Languages)

Computability Theory

Computational Complexity Theory

Programming Languages

Artificial Intelligence

Analytic Philosophy

Logic

Computational Logic

Proof Theory

Computational Linguistics

Temporal and Modal Logic

Follow Uli

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Uli Sattler

The University of Manchester

Faculty Member

Computer Science Department

Automated Deduction, Knowledge Representation and Reasoning (Computer Science), Temporal and Modal Logic, and Computer Science

Follow Joseph

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

Artificial Life, Automated Deduction, Autonomic Computing, and Category 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 Ronald

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Ronald de Haan

Vienna University of Technology

Graduate Student

Faculty of Informatics

Algorithms, Artificial Intelligence, Automata Theory (Formal Languages), and Automated Deduction

Follow Dejan

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Follow Joshua

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Joshua Cason

University of Washington

Graduate Student

Linguistics Department

Analytic Philosophy, Analytic Philosophy of Religion, Analytic Theology, and Automated Deduction

Follow Carlo

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Carlo Reverberi

Università degli Studi di Milano-Bicocca

Faculty Member

Dipartimento di Psicologia Department

Brain lesion, Deductive reasoning, Executive Function, and Frontal Lobe Functioning

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 Melvin

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Melvin Fitting

City University of New York

Faculty Member

Lehman College, Mathematics and Computer Science

Automated Deduction, Higher-order logics, Logic, and Mathematical Logic

Follow Patrick

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Patrick Terrematte

UFRN

Graduate Student

DIMAp Department

Analytic Philosophy, Applied Epistemology, Automated Deduction, and Category Theory

Follow Laurence E.

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Laurence E. Day

University of Nottingham

Graduate Student

Computer Science Department

Algorithmic Algebra, Automated Deduction, Computational Complexity, and Data Structures (Computer Science)

Follow Francesco

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Francesco Spegni

Università Politecnica delle Marche, Italy

Graduate Student

DIIGA, Dipartimento di Ingegneria Informatica, Gestionale e dell'Automazione Department

Automata, Automata Theory (Formal Languages), Automated Deduction, and Computational Logic

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

Follow Pramod

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Pramod C

SCSVMV UNIVERSITY, KANCHIPURAM

Undergraduate

Information Tecnology Department

Art in three dimensional worlds, Artificial Intelligence, Cloud Computing, and Computer Science

Follow Francesco

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Francesco Donini

Scuola Superiore di Studi in Filosofia (Università di Roma Tor Vergata, Università della Tuscia, Università dell'Aquila)

Faculty Member

Dipartimento di Scienze Umanistiche, della Comunicazione e del Turismo Department

Artificial Intelligence, Automated Deduction, Computer Science, and Description logics

Automated Deduction

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Post-Doc

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Undergraduate

What is Following?

Faculty Member

Log In

Reset Password