Untitled

First Page		Document Content
Date: 2008-03-31 04:31:42 Methodology Cezary GNU Free Documentation License Open content		Untitled Add to Reading List Source URL: aragorn.pb.bialystok.pl Download Document from Source Website File Size: 1,82 MB Share Document on Facebook

	Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka, University of Copenhagen Cezary Kaliszyk, University of Innsbruck http://cl-informatik.uibk.ac.at/cek/coqhammer/ DocID: 1uCB4 - View Document
	Reinforcement Learning for leanCoP Cezary Kaliszyk Josef Urban Henryk Michalewski Mirek Olšák AITPMarch 28, 2018 DocID: 1tIiF - View Document
	Learning to Prove with Tactics Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish March 28, 2018 DocID: 1tGhl - View Document
	Limnological Review–236 Reproduction of curled pondweed (Potamogeton crispus L.) in Vesijärvi Lake (Finland) Cezary Toma Academy of Physical Education, Departament of Biological Sciences, DocID: 1sHEg - View Document
	Noname manuscript No. (will be inserted by the editor) A Learning-Based Fact Selector for Isabelle/HOL Jasmin Christian Blanchette · David Greenaway · Cezary Kaliszyk · Daniel Kühlwein · Josef Urban DocID: 1rOCu - View Document