Colin Farquhar

2014201520162017201820192020202120221 3 2 1 2 1 1 2

การเข้าถึงแบบสาธารณะ

1 บทความ

0 บทความ

ใช้งานได้

ใช้ไม่ได้

อิงตามข้อกำหนดในการรับเงินสนับสนุน

Colin Farquhar

ยืนยันอีเมลแล้วที่ hw.ac.uk


ชื่อ เรียงตามการอ้างอิง เรียงตามปี เรียงตามชื่อ	อ้างโดย อ้างโดย	ปี
Typed meta-interpretive learning for proof strategies C Farquhar, G Grov, A Cropper, S Muggleton, A Bundy Late-breaking papers proceedings of ILP 2015 (LBP-ILP 2015), 1-16, 2016	11	2016
Tinkering by Theory Formation⇤ G Grov, C Farquhar, A Pease, S Colton Proceedings of the AIFM workshop, 2014	1	2014
Structured proofs from a graphical proof strategy language C Farquhar, G Grov	1
Meta-interpretive learning of proof strategies CI Farquhar Heriot-Watt University, 2022		2022

ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง

บทความ 1–4

การอ้างอิงต่อปี