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

Computer-aided reasoning : ACL2 case studies

種類:
図書
責任表示:
edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
出版情報:
Boston ; Dordrecht ; London : Kluwer Academic, c2000
著者名:
シリーズ名:
Advances in formal methods / series editor, Michael Hinchey ; 4 <BA46490182>
ISBN:
9780792378495 [0792378490]  CiNii Books  Calil
注記:
Includes bibliographical references & index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Computer-aided reasoning : an approach

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

Kluwer Academic
7 図書 文部省認定情報処理活用能力検定準2級テキストコミュニケーション

専修学校教育振興会

実教出版
2 図書 The Correctness problem in computer science

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

Academic Press
8 図書 Parsing techniques : a practical guide

Grune, Dick, Jacobs, Ceriel J. H.

Springer
3 図書 Error-correcting-codes in computer arithmetic

Liu, Chao-Kai

マイクロサービスセンター
9 図書 Algorithms & applications

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

CRC Press
4 図書 Calibration and orientation of cameras in computer vision

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

Springer
10 図書 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
5 図書 Arithmetic codes with generators of the form r Π i=1 (2mi -1)

Monteiro, Priti

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

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

Elsevier
6 図書 Virtual environments 2000 : proceedings of the Eurographics Workshop in Amsterdam, The Netherlands, June 1-2, 2000

Mulder, Jurriaan D., Liere, Robert van

Springer
12 図書 Computer-aided heat transfer analysis

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

McGraw-Hill