詳細情報

刊年

2003

形態

x, 366 p. : ill. ; 24 cm

別書名

Theorem proving in higher order logics : 16th International Conference, TPHOLs 2003, Rome, Italy, September 2003 : proceedings

シリーズ名

Lecture notes in computer science ; 2758

注記

Includes bibliographical references and index

出版国

ドイツ＝ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

International Conference on Theorem Proving in Higher Order Logics [ Conference on Theorem Proving in Higher Order Logics, International ] [ International Conference, TPHOLs ] [ TPHOLs ] [ TPHOLs '96 ] [ TPHOLs '97 ]

Basin, David

Wolff, Burkhart, 1962-

件名

Automatic theorem proving -- Congresses

ISBN

3540406646

NCID

BA63467187