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

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

種類:
図書
責任表示:
Jeffrey J. Joyce, Carl-Johan H. Seger [editors]
出版情報:
Berlin ; New York : Springer-Verlag, c1994
著者名:
シリーズ名:
Lecture notes in computer science ; 780 <BA00009279>
ISBN:
9783540578260 [3540578269] (: gw)  CiNii Books  Calil
9780387578262 [0387578269] (: us)  CiNii Books  Calil
注記:
Papers presented at the 1993 HOL User's Group Workshop
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック 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
7 図書 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
2 電子ブック 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 Berlin Heidelberg : Imprint: Springer
8 図書 Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Wright, J. (Joakim) von, 1955-, Grundy, J. (Jim), &hellip;

Springer
3 図書 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
9 電子ブック 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
4 図書 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
10 電子ブック Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

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

Springer Berlin Heidelberg : Imprint: Springer
5 図書 Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Melham, T. F. (Tom &hellip;

Springer-Verlag
11 電子ブック 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
6 図書 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
12 電子ブック 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 Berlin Heidelberg : Imprint: Springer