Travelled to:
1 × United Kingdom
Collaborated with:
P.Koepke D.Kühlwein B.Schröder
Talks about:
naproch (1) system (1) select (1) premis (1)
Person: Marcos Cramer
DBLP: Cramer:Marcos
Contributed to:
Wrote 1 papers:
- IJCAR-2010-CramerKKS
- Premise Selection in the Naproche System (MC, PK, DK, BS), pp. 434–440.