Automation of reasoning (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Automation of reasoninghttps://catalogue-scientifique.canada.ca/record=1232642~S6*frcRechercher Siekmann, Jörg H; Rechercher Wrightson, GrahamSpringer-Verlag, 1983, ISBN : 9783540120438Livre
Knowledge science, engineering and management : second international conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Knowledge science, engineering and management : second international conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007 : proceedingshttps://catalogue-scientifique.canada.ca/record=2188372~S6*frcRechercher Zhang, Zili, Ph.D; Rechercher Siekmann, Jörg HSpringer, 2007Actes de conférence
Cognitive systems : joint Chinese-German workshop, Shanghai, China, March 7-11, 2005 : revised selected papers (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Cognitive systems : joint Chinese-German workshop, Shanghai, China, March 7-11, 2005 : revised selected papershttps://catalogue-scientifique.canada.ca/record=2157234~S6*frcRechercher Lu, Ruqian; Rechercher Siekmann, Jörg H; Rechercher Ullrich, CarstenSpringer, 2007Actes de conférence
Pedagogically founded courseware generation for web-based learning : an HTN-planning-based approach implemented in PAIGOS (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Pedagogically founded courseware generation for web-based learning : an HTN-planning-based approach implemented in PAIGOShttps://catalogue-scientifique.canada.ca/record=2301631~S6*frcRechercher Ullrich, CarstenSpringer, 2008, ISBN : 9783540882138Livre
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedingshttps://catalogue-scientifique.canada.ca/record=1348383~S6*frcRechercher Siekmann, Jörg HSpringer-Verlag, 1986Actes de conférence
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthdayhttps://catalogue-scientifique.canada.ca/record=2056348~S6*frcRechercher Siekmann, Jörg H; Rechercher Hutter, Dieter; Rechercher Stephan, WernerSpringer, 2005Ressource Web
Künstliche Intelligenz : Frühjahrsschule, Teisendorf, 15.-24. März 1982 (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Künstliche Intelligenz : Frühjahrsschule, Teisendorf, 15.-24. März 1982https://catalogue-scientifique.canada.ca/record=1301336~S6*frcRechercher Bibel, Wolfgang; Rechercher Siekmann, Jörg HSpringer-Verlag, 1982Actes de conférence
GWAI-81 : German Workshop on Artificial Intelligence, Bad Honnef, January 1981 (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : GWAI-81 : German Workshop on Artificial Intelligence, Bad Honnef, January 1981https://catalogue-scientifique.canada.ca/record=1175064~S6*frcRechercher Siekmann, Jörg HSpringer-Verlag, 1981Actes de conférence