Back to Results
First PageMeta Content
Dragon Pirate Stories / Slipstream – The Best of British Jazz-Funk / Deep inference / Inference / Proof theory


Microsoft Word - AG12-PolSizDeepInfPr
Add to Reading List

Document Date: 2008-11-02 06:24:01

Open Document

File Size: 114,08 KB

Share Result on Facebook

City

Berlin / Bath / /

IndustryTerm

proof search case / proof search / search algorithms / /

Organization

Technische Universität Dresden / /

Person

Alessio Guglielmi / Richard Statman / Ai / Kai Brünnler / Paola Bruscoli / /

ProvinceOrState

Kansas / /

Technology

search algorithms / /

URL

http /

SocialTag