Jump to main content

yr 〜
yr

Search results 12

Grundlagen der Mathematik = Foundations of mathematics I, pt. A : Prefaces and §§1-2 1st English ed.

Grundlagen der Mathematik = Foundations of mathematics I, pt. A : Prefaces and §§1-2 1st English ed.
Paper図書
David Hilbert and Paul Bernays ; editors, Claus-Peter Wirth, Jörg Siekmann, Michael Gabbay, Dov GabbayCollege publicationsc2011
Other Libraries in Japan
  • Author HeadingHilbert, David Bernays, Paul Wirth, Claus-Peter Siekmann, Jörg Gabbay, Michael Gabbay, Dov

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)
Paper図書
Springerc2007.<M17-08-1918>
National Diet Library
  • Author Heading...g, Zili, Ph.D. Siekmann, Jörg H. KSEM 2007 (2007 : Melbourn...

Computational logic 1st ed

Computational logic 1st ed
Paper図書
volume edited by Jörg H. SiekmannNorth Holland2014
Other Libraries in Japan
  • Author HeadingSiekmann, Jörg H.

Resource-adaptive cognitive processes

Resource-adaptive cognitive processes
Paper図書
Matthew W. Crocker, Jörg Siekmann (Eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingCrocker, 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
Paper図書
Zili Zhang, Jörg Siekmann (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingKSEM 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
Paper図書
Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingJoint 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.)
Paper図書
Springer-Verlagc1986.<M159-A1>
National Diet Library
  • Author HeadingInternational 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.
Paper図書
Springer1983.<M159-A28>
National Diet Library
  • Author HeadingSiekmann, 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)
Paper図書
Springer-Verlag1981.<M15-A4906>
National Diet Library
  • Author HeadingGerman Workshop on Artificial Intelligence (1981 : Bad Honnef, Germany) Siekmann, Jörg H.

Classical papers on computational logic 1957-1966 1967-1970

Classical papers on computational logic 1957-1966 1967-1970
Paper図書
Springer-Verlag1983
Other Libraries in Japan
  • Author HeadingSiekmann, Jörg H. Wrightson, Graham

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
Paper図書
edited by Jörg H. SiekmannSpringer-Verlagc1986
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Siekmann, Jörg H.

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
Paper図書
edited by Jörg H. SiekmannSpringer-Verlag1981
Other Libraries in Japan
  • Author HeadingGerman Workshop on Artificial Intelligence Siekmann, Jörg H.

Reached to the end of result.

RSS