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

Theorem Provers in Circuit Design : Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

種類:
電子ブック
責任表示:
edited by Ramayya Kumar, Thomas Kropf
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1995
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 901
ISBN:
9783540491774 [3540491775]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/3-540-59047-1
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Theorem Provers in Circuit Design: Theory, Practice and Experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. …

Kumar, Ramayya., Kropf, Thomas., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック KI-94: Advances in Artificial Intelligence : 18th German Annual Conference on Artificial Intelligence Saarbrücken, Germany, September 18–23, 1994 Proceedings

Nebel, Bernhard, Dreschler-Fischer, Leonie, SpringerLink (Online service)

Springer-Verlag
2 電子ブック Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings

Thomas Schubert, E., Windley, Philip J., Alves-Foss, James, SpringerLink (Online service)

Springer-Verlag
8 電子ブック Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 …

Baumgartner, Peter, Hähnle, Reiner, Possega, Joachim, SpringerLink (Online service)

Springer-Verlag
3 電子ブック Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings

Melham, Thomas F., Camilleri, Juanito, SpringerLink (Online service)

Springer-Verlag
9 電子ブック Isabelle : A Generic Theorem Prover

Paulson, Lawrence C., SpringerLink (Online service)

Springer-Verlag
4 電子ブック Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Wright, Joakim, Grundy, Jim, Harrison, John, SpringerLink (Online …

Springer-Verlag
10 電子ブック Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Maluszyński, Jan, Wirsing, Martin, SpringerLink (Online service)

Springer-Verlag
5 電子ブック Grammatical Inference and Applications : Second International Colloquium, ICGI-94 Alicante, Spain, September 21–23, 1994 Proceedings

Carrasco, Rafael C., Oncina, Jose, SpringerLink (Online service)

Springer-Verlag
11 電子ブック Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings

Milne, George J., Pierre, Laurence, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Constraints in Computational Logics : First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

Jouannaud, Jean-Pierre, SpringerLink (Online service)

Springer-Verlag
12 電子ブック Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings

Joyce, Jeffrey J., Seger, Carl-Johan H., SpringerLink (Online service)

Springer-Verlag