Automated theorem proving in software engineering

このページのQRコード

種類:

図書

責任表示:

Johann M. Schumann ; foreword by Donald Loveland

出版情報:

Berlin : Springer, c2001

著者名:

ISBN:

9783540679899 [3540679898]

注記:

Includes bibliographical references (p. [203]-220) and index

所蔵情報

子書誌情報

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

詳細

主題:	Automatic theorem proving; Software engineering
分類・件名:	NDC9 : 007.1 LCSH : Software engineering LCSH : Automatic theorem proving
TTLL:	eng
言語:	英語
形態:	xiv, 228 p. : ill. ; 24 cm
書誌ID:	BA52577580

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Automated theorem proving : after 25 years Special Session on Automatic Theorem Proving, Bledsoe, W. W., Loveland, Donald W., American Mathematical Society. American Mathematical Society	7 図書 Automated reasoning and its applications : essays in honor of Larry Wos Veroff, Robert, Pieper, Gail W., Wos, Larry, 1930- The MIT Press
2 図書 Using sophisticated models in resolution theorem proving Sandford, David M. Springer-Verlag	8 図書 Specification of software systems Alagar, Vangalur S., 1940-, Periyasamy, K. Springer
3 図書 Isabelle : a generic theorem prover Paulson, Lawrence C. Springer-Verlag	9 図書 6th Conference on automated deduction, New York, USA, June 7-9, 1982 Conference on automated deduction, Loveland, Donald W., 1934- Springer-Verlag
4 図書 Formal foundations for software engineering methods Hussmann, Heinrich Springer	10 図書 Instantiation theory : on the foundations of automated deduction Williams, James G. Springer-Verlag
5 図書 Automated deduction : a basis for applications Bibel, W., 1938-, Schmitt, P. H. (Peter H.), 1948- Kluwer Academic	11 図書 First-order logic and automated theorem proving Fitting, Melvin, 1942- Springer-Verlag
6 図書 Automated deduction in equational logic and cubic curves McCune, W. (William), Padmanabhan, R. (Ranganathan), 1938- Springer	12 電子ジャーナル Automated Software Engineering