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

Automated reasoning and its applications : essays in honor of Larry Wos

種類:
図書
責任表示:
edited by Robert Veroff with Gail W. Pieper
出版情報:
Cambridge, Mass. : The MIT Press, 1997
著者名:
ISBN:
9780262220552 [0262220555]  CiNii Books  Calil
注記:
"Bibliography of Larry Wos": p. [235]-241
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Automated deduction : a basis for applications

Bibel, W., 1938-, Schmitt, P. H. (Peter H.), 1948-

Kluwer Academic
7 電子ブック Essays in Mathematics and its Applications : In Honor of Vladimir Arnold

Rassias, Themistocles M., Pardalos, Panos M., SpringerLink (Online service)

Springer International Publishing : Imprint: Springer
2 図書 Automated theorem proving in software engineering

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

Springer
8 図書 A computational logic

Boyer, Robert S., Moore, J. Strother, 1947-

Academic Press
3 図書 Computational logic : essays in honor of Alan Robinson

Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946-

MIT Press
9 図書 Fuzzy reasoning and its applications

Mamdani, E. H., Gaines, Brian R.

Academic Press
4 電子ブック Automated theorem proving : after 25 years

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

American Mathematical Society
10 図書 Lectures on proof verification and approximation algorithms

Mayr, Ernst W., Prömel, H. J., Steger, Angelika

Springer
5 図書 Automated deduction in equational logic and cubic curves

McCune, W. (William), Padmanabhan, R. (Ranganathan), 1938-

Springer
11 電子ブック Essays in Mathematics and its Applications : In Honor of Stephen Smale´s 80th Birthday

Pardalos, Panos M., Rassias, Themistocles M., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 図書 Instantiation theory : on the foundations of automated deduction

Williams, James G.

Springer-Verlag
12 図書 Handbook of automated reasoning

Robinson, Alan, Voronkov, A. (Andreĭ), 1959-

Elsevier, The MIT Press