Deduction : automated logic

Deduction : automated logic

フォーマット:
図書
責任表示:
by Wolfgang Bibel ; with the assistance of Steffen Hölldobler and exercises by Gerd Neugebauer ; translated by Monika Lekuse with the assistance of Donald Sannella
本文言語:
英語
説明:
253 p: ill.; 24 cm
出版情報:
London ; Tokyo, United Kingdom. c1993. Academic Press
概要:
Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise & comprehensive manner. This book features broad coverage of deductive methods on the level of propositional & first-order logic, the strategic aspects of automated deduction, the applications of deduction mechanisms to a range of different areas, & their realization in concrete systems.
本文を見る
所蔵情報
Loading availability information

類似資料:

1
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 by Conference on Automated Deduction; Bibel, Wolfgang, 1938-; Kowalski, Robert
7
A history of formal logic by Bochenski, Joseph M., 1902-
2
Deduction by Johnson-Laird, P. N.; Byrne, Ruth M. J
8
Ancient formal logic by Bochenski, Joseph M., 1902-
3
A deduction model of belief by Konolige, Kurt
9
Elements of formal logic by Kretzmann, Norman
4
Logic matters by Geach, P. T.
10
Modal logic : an introduction by Chellas, Brian F
5
Logic primer by Allen, Colin; Hand, Michael
11
A companion to modal logic by Hughes, G. E.; Cresswell, M. J.
6
Predicate logic : introduction to logic by Pospesel, Howard, 1937-
12
An introduction to formal logic by Smith, Peter, 1944-
1.
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 by Conference on Automated Deduction; Bibel, Wolfgang, 1938-; Kowalski, Robert
2.
Deduction by Johnson-Laird, P. N.; Byrne, Ruth M. J
3.
A deduction model of belief by Konolige, Kurt
4.
Logic matters by Geach, P. T.
5.
Logic primer by Allen, Colin; Hand, Michael
6.
Predicate logic : introduction to logic by Pospesel, Howard, 1937-
7.
A history of formal logic by Bochenski, Joseph M., 1902-
8.
Ancient formal logic by Bochenski, Joseph M., 1902-
9.
Elements of formal logic by Kretzmann, Norman
10.
Modal logic : an introduction by Chellas, Brian F
11.
A companion to modal logic by Hughes, G. E.; Cresswell, M. J.
12.
An introduction to formal logic by Smith, Peter, 1944-