Ebook: Relative Complexities of First Order Calculi
Author: Elmar Eder (auth.)
- Tags: Mathematics general
- Series: Artificial Intelligence / Künstliche Intelligenz
- Year: 1992
- Publisher: Vieweg+Teubner Verlag
- Edition: 1
- Language: German
- pdf
Content:
Front Matter....Pages i-2
Introduction....Pages 3-5
Calculi for First Order Logic....Pages 7-43
Comparison of Calculi for First Order Logic....Pages 44-78
The Extension Rule in First Order Logic....Pages 79-135
Connection Structures....Pages 136-158
Back Matter....Pages 159-174
Content:
Front Matter....Pages i-2
Introduction....Pages 3-5
Calculi for First Order Logic....Pages 7-43
Comparison of Calculi for First Order Logic....Pages 44-78
The Extension Rule in First Order Logic....Pages 79-135
Connection Structures....Pages 136-158
Back Matter....Pages 159-174
....
Download the book Relative Complexities of First Order Calculi for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)