本文に飛ぶ

年 〜
年

検索結果 5 件

Proceedings of the first International Symposium on Litchi and Longan, Guangzhou, China, 16-19 June, 2000

Proceedings of the first International Symposium on Litchi and Longan, Guangzhou, China, 16-19 June, 2000
紙図書
[editors, Huibai Huang, Christopher Menzel] ; convener, Huibai HuangInternational Society for Horticultural Science2001
全国の図書館
  • 著者標目Huang, Huibai Menzel, Christopher International Symposium on Li...

A complete, type-free "second-order" logic and its philosophical foundations

A complete, type-free "second-order" logic and its philosophical foundations
紙図書
by Christopher MenzelCenter for the Study of Language and Information1985
全国の図書館
  • 著者標目Menzel, Christopher Stanford University. Center f...

IDEF5 ontology description capture method microform : concepts and formal foundations / Christopher P. Menzel, Richard J. Mayer, Michael K. Painter (AL-TP ; 1992-0051)

IDEF5 ontology description capture method microform : concepts and formal foundations / Christopher P. Menzel, Richard J. Mayer, Michael K. Painter (AL-TP ; 1992-0051)
マイクロ図書
1993<YCA-D 301.45/27-4:1992-0051>
国立国会図書館
  • 著者標目Menzel, Christopher P Mayer, Richard J Painter, M...

Theoretical foundations for information representation and constraint specification microform / Christopher P. Menzel, Richard J. Mayer (AL-TP ; 1991-0044)

Theoretical foundations for information representation and constraint specification microform / Christopher P. Menzel, Richard J. Mayer (AL-TP ; 1991-0044)
マイクロ図書
1991<YCA-D 301.45/27-4:1991-0044>
国立国会図書館
  • 著者標目Menzel, Christopher P Mayer, Richard J Armstrong ...

IDEF3 formalization report microform / Christopher P. Menzel, Richard J. Mayer, Douglas D. Edwards (AL-TP ; 1991-0043)

IDEF3 formalization report microform / Christopher P. Menzel, Richard J. Mayer, Douglas D. Edwards (AL-TP ; 1991-0043)
マイクロ図書
1991<YCA-D 301.45/27-4:1991-0043>
国立国会図書館
  • 著者標目Menzel, Christopher P Mayer, Richard J Edwards, D...

検索結果は以上です。

RSS