著者典拠情報

標目形：
McAllester, David A.
属性：
Personal
から見よ参照形：
McAllester, D. A
注記：
His Ontic, c1989: CIP t.p. (David A. McAllester)
著者典拠ID：
DA03662602


 close
1.

図書
図書
1. Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
David McAllester (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1831 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1705 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Ontic : a knowledge representation system for mathematics
David A. McAllester
出版情報: Cambridge, Mass. : MIT Press, c1989
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…