>> Amazon.co.jp
このページのQRコード

First-order logic and automated theorem proving. 2nd ed

種類:
図書
責任表示:
Melvin Fitting
出版情報:
New York : Springer-Verlag, c1996
著者名:
Fitting, Melvin, 1942- <DA04236483>  
シリーズ名:
Graduate texts in computer science <BA23711271>
ISBN:
9780387945934 [0387945938]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Automated theorem proving in software engineering

Schumann, Johann M., Loveland, Donald W., 1934-

Springer
7 電子ブック First-Order Dynamic Logic

Harel, D., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
2 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and …

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., &hellip;

North-Holland
8 図書 Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves

Springer
3 電子ブック Automated theorem proving : after 25 years

Special Session on Automatic Theorem Proving, Bledsoe, W. W., Loveland, Donald W., American Mathematical Society.

American Mathematical Society
9 図書 Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles

Springer
4 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag
10 図書 Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Gunter, Elsa L., Felty, Amy

Springer
5 図書 Extensions of first order logic

Manzano, María

Cambridge University Press
11 図書 Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Aagaard, Mark, 1966-, Harrison, J. (John), 1966-

Springer
6 電子ブック First-Order Dynamic Logic

Harel, David, SpringerLink (Online service)

Springer-Verlag
12 図書 Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Boulton, Richard J., 1967-, Jackson, Paul B., 1962-

Springer