Ulrich Furbach
AuthID: R-00F-B8E
1
TITLE: Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017
AUTHORS: Claudia Schon; Ulrich Furbach;
PUBLISHED: 2017, SOURCE: Bridging@CogSci, VOLUME: 1994
AUTHORS: Claudia Schon; Ulrich Furbach;
PUBLISHED: 2017, SOURCE: Bridging@CogSci, VOLUME: 1994
INDEXED IN: 
DBLP
DBLP2
TITLE: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings
AUTHORS: John W Lloyd; Verónica Dahl; Ulrich Furbach; Manfred Kerber; Kung Kiu Lau; Catuscia Palamidessi; Luís Moniz Pereira ; Yehoshua Sagiv; Peter J Stuckey;
PUBLISHED: 2000, SOURCE: CL, VOLUME: 1861
AUTHORS: John W Lloyd; Verónica Dahl; Ulrich Furbach; Manfred Kerber; Kung Kiu Lau; Catuscia Palamidessi; Luís Moniz Pereira ; Yehoshua Sagiv; Peter J Stuckey;
PUBLISHED: 2000, SOURCE: CL, VOLUME: 1861
INDEXED IN: DBLP
DBLP