Automated deduction : a basis for applications

>> Amazon.co.jp

このページのQRコード

Automated deduction : a basis for applications

種類:

図書

責任表示:

edited by Wolfgang Bibel and Peter H. Schmitt

出版情報:

Dordrecht : Kluwer Academic, c1998

著者名:

シリーズ名:

Applied logic series ; v.8-10 <BA28718584>

ISBN:

9780792351320 [0792351320] (set)

9780792351320 [0792351320] (v.1)

9780792351290 [0792351290] (v.2)

9780792351306 [0792351304] (v.3)

9780792351313 [0792351312]

注記:

Includes bibliographies and indexes

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:

Automatic theorem proving; Logic, Symbolic and mathematical

分類・件名:

NDC9 : 501.1
LCSH : Logic, Symbolic and mathematical
LCSH : Automatic theorem proving

TTLL:

eng

言語:

英語

形態:

3v. : ill ; 25cm

目次情報:

v.1. Foundations. calculi and methods
v.2. Systems and implementation techniques
v.3. Applications

書誌ID:

BA37462379

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Automated deduction in equational logic and cubic curves McCune, W. (William), Padmanabhan, R. (Ranganathan), 1938- Springer	7 図書 Propositional logic : deduction and algorithms Kleine Büning, Hans, 1948-, Lettman, Teodor Cambridge University Press
2 図書 Automated reasoning and its applications : essays in honor of Larry Wos Veroff, Robert, Pieper, Gail W., Wos, Larry, 1930- The MIT Press	8 図書 Handbook of tableau methods D'Agostino, Marcello Kluwer
3 図書 Instantiation theory : on the foundations of automated deduction Williams, James G. Springer-Verlag	9 図書 PX, a computational logic 林, 晋(1953-), 中野, 裕 MIT Press
4 図書 Deduction : automated logic Bibel, Wolfgang, 1938- Academic Press	10 図書 Lectures on proof verification and approximation algorithms Mayr, Ernst W., Prömel, H. J., Steger, Angelika Springer
5 図書 Automated theorem proving in software engineering Schumann, Johann M., Loveland, Donald W., 1934- Springer	11 図書 Introduction to symbolic logic and its applications Carnap, Rudolf, 1891-1970, Meyer, William H., Wilkinson, John Dover
6 電子ブック Automated theorem proving : after 25 years Special Session on Automatic Theorem Proving, Bledsoe, W. W., Loveland, Donald W., American Mathematical Society. American Mathematical Society	12 図書 Deduction methodologies Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press