Učitavanje...
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Godišnji broj citata
Dvostruki navodi
Sljedeći su članci spojeni u Znalcu.
Navodi iz obaju
članaka broje se samo za prvi članak.
Spojeni navodi
Zbroj za "Citirano" uključuje navode sljedećeg članka u Znalcu. Oni koji su označeni znakom
*
mogu biti različiti od članka u profilu.
Dodavanje suautora
Suautori
Prati
Novi članci tog autora
Novi navodi tog autora
Novi članci povezani s istraživanjem tog autora
E-adresa za obavijesti
Završeno
Moj profil
Moja knjižnica
Mjerni podaci
Upozorenja
Postavke
Prijavite se
Prijavite se
Izradite svoj profil
Citirano
Sve
Od 2019.
Citati
13
6
H-indeks
1
1
i10-indeks
1
0
0
4
2
2014
2015
2016
2017
2018
2019
2020
2021
2022
1
3
2
1
2
1
1
2
Javni pristup
Prikaži sve
Prikaži sve
1 članak
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Prati
Colin Farquhar
PhD Student,
Heriot-Watt University
Potvrđena adresa e-pošte na hw.ac.uk
Proof representation
Machine learning
Formal Methods
Automated Reasoning
Članci
Citirano
Javni pristup
Naslov
Razvrstaj
Poredaj po navodima
Poredaj po godini
Poredaj po naslovu
Citirano
Citirano
Godina
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–4
Prikaži više
Privatnost
Uvjeti
Pomoć
O Znalcu
Pomoć za pretraživanje