本文に飛ぶ

年 〜
年

検索結果 11 件

Knowledge science, engineering and management : second international conference, KSEM 2007 : Melbourne, Australia, November 28-30, 2007 : proceedings. : KSEM2007 : Nov 2007, Melbourne, Australia. (Lecture Notes in Computer Science ; 4798. Lecture Notes in Artificial Intelligence)

Knowledge science, engineering and management : second international conference, KSEM 2007 : Melbourne, Australia, November 28-30, 2007 : proceedings. : KSEM2007 : Nov 2007, Melbourne, Australia. (Lecture Notes in Computer Science ; 4798. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2007.<M17-08-1918>
国立国会図書館
  • 著者標目...g, Zili, Ph.D. Siekmann, Jörg H. KSEM 2007 (2007 : Melbourne, ...

Computational logic 1st ed

Computational logic 1st ed
紙図書
volume edited by Jörg H. SiekmannNorth Holland2014
全国の図書館
  • 著者標目Siekmann, Jörg H.

Resource-adaptive cognitive processes

Resource-adaptive cognitive processes
紙図書
Matthew W. Crocker, Jörg Siekmann (Eds.)Springerc2010
全国の図書館
  • 著者標目Crocker, Matthew W. Siekmann, Jörg H.

Knowledge science, engineering and management : Second International Conference, KSEM 2007 Melbourne, Australia, November 28-30, 2007 : proceedings

Knowledge science, engineering and management : Second International Conference, KSEM 2007 Melbourne, Australia, November 28-30, 2007 : proceedings
紙図書
Zili Zhang, Jörg Siekmann (eds.)Springerc2007
全国の図書館
  • 著者標目KSEM Zhang, Zili Siekmann, Jörg H.

Cognitive Systems : Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005 : revised selected papers

Cognitive Systems : Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005 : revised selected papers
紙図書
Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich (eds.)Springerc2007
全国の図書館
  • 著者標目Joint Chinese-German Workshop on Cognitive Systems Lu, Ruqian Siekmann, Jörg H. Ullrich, Carsten

8th International Conference on Automated Deduction, Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann. (Lecture notes in computer science ; 230.)

8th International Conference on Automated Deduction, Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann. (Lecture notes in computer science ; 230.)
紙図書
Springer-Verlagc1986.<M159-A1>
国立国会図書館
  • 著者標目International Conference on Automated Deduction (8th : 1986 : Oxford) . Siekmann, Jörg H.

Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson.

Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson.
紙図書
Springer1983.<M159-A28>
国立国会図書館
  • 著者標目Siekmann, Jörg H. Wrightson, Graham.

GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981 : [proceedings] / edited by Jörg H. Siekmann. (Informatik-Fachberichte ; 47)

GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981 : [proceedings] / edited by Jörg H. Siekmann. (Informatik-Fachberichte ; 47)
紙図書
Springer-Verlag1981.<M15-A4906>
国立国会図書館
  • 著者標目German Workshop on Artificial Intelligence (1981 : Bad Honnef, Germany) Siekmann, Jörg H.

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings : gw : us

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings : gw : us
紙図書
edited by Jörg H. SiekmannSpringer-Verlagc1986
全国の図書館
  • 著者標目International Conference on Automated Deduction Siekmann, Jörg H.

Classical papers on computational logic 1957-1966 1967-1970

Classical papers on computational logic 1957-1966 1967-1970
紙図書
Springer-Verlag1983
全国の図書館
  • 著者標目Siekmann, Jörg H. Wrightson, Graham

GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981

GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981
紙図書
edited by Jörg H. SiekmannSpringer-Verlag1981
全国の図書館
  • 著者標目German Workshop on Artificial Intelligence Siekmann, Jörg H.

検索結果は以上です。

RSS