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

Computer-aided reasoning : an approach

種類:
図書
責任表示:
edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
出版情報:
Boston ; Dordrecht ; London : Kluwer Academic, c2000
著者名:
シリーズ名:
Advances in formal methods / series editor, Michael Hinchey ; 3 <BA46490182>
ISBN:
9780792377443 [0792377443]  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 図書 Computer-aided reasoning : ACL2 case studies

Kaufmann, Matt, Manolios, Panagiotis, Moore, J. Strother

Kluwer Academic
7 図書 Algorithms & applications

International Conference on Parallel Processing, Chandra, J. (Jagdish), 1935-, Pennsylvania State University

CRC Press
2 図書 The Correctness problem in computer science

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

Academic Press
8 図書 Proceedings, 2000 International Conference on Parallel Processing, 21-24 August 2000 Toronto, Canada

International Conference on Parallel Processing, International Association for Computers and Communications (IACC), &hellip;

IEEE Computer Society
3 図書 Error-correcting-codes in computer arithmetic

Liu, Chao-Kai

マイクロサービスセンター
9 図書 Handbook of computer aided geometric design

Farin, Gerald, 1953-, Hoschek, J. (...Josef...), Kim, Myung-Soo

Elsevier
4 図書 Calibration and orientation of cameras in computer vision

Gruen, A. (Armin), Huang, Thomas S., 1936-

Springer
10 図書 Computer-aided heat transfer analysis

Adams, J. Alan (James Alan), 1936-, Rogers, David F., 1937-

McGraw-Hill
5 図書 Coding approaches to fault tolerance in combinational and dynamic systems

Hadjicostis, Christoforos N.

Kluwer Academic Publishers
11 図書 Computer-aided verification of coordinating processes : the automata-theoretic approach

Kurshan, R. P., 1943-

Princeton University Press
6 図書 Parsing techniques : a practical guide

Grune, Dick, Jacobs, Ceriel J. H.

Springer
12 図書 Computer aided analysis and optimization of mechanical system dynamics

NATO Advanced Study Institute on Computer Aided Analysis and Optimization of Mechanical System Dynamics, Haug, Edward &hellip;

Springer-Verlag