Daniel Winterstein - Veröffentlichungen allgemein

(1 - 7 von 7

)

EconPapers: Encountering #Feminism on Twitter: Reflections on a...

econpapers.repec.org

By Steve Kirkwood, Viviene Cree, Daniel Winterstein, Alex Nuttgens and Jenni Sneddon; Abstract: The growth of social media presents an ...

An Experimental Comparison of Diagrammatic and ...Springer Link

link.springer.com

von D Winterstein · · Zitiert von: 4 — Daniel Winterstein,; Alan ... Authors and Affiliations. Edinburgh University & Cambridge University,. Daniel Winterstein, Alan Bundy, Corin Gurr & Mateja Jamnik.

(PDF) Evaluating Machine CreativityResearchGate

www.researchgate.net

... Daniel Winterstein. Good-Loop. Simon Colton at Queen Mary, University of ... Edinburgh EH1 1HN, Scotland. Evaluating Machine Creativity. Alison Pease, Daniel ...

A Framework for Interactive Proof | SpringerLinklink.springer.com › chapter

link.springer.com

LFCS, School of Informatics, The University of Edinburgh, U.K.. David Aspinall & Daniel Winterstein · Deutsches Forschungszentrum für künstliche Intelligenz ( ...

Dr.Doodle: A Diagrammatic Theorem Prover | SpringerLink

link.springer.com

This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that,...

A Framework for Interactive Proof | SpringerLink

link.springer.com

This paper introduces Proof General Kit, a framework for software components tailored to interactive proof development. The goal of the framework is to enable...

On Differences between the Real and Physical PlaneSpringer Link

link.springer.com

von D Winterstein · · Zitiert von: 4 — Daniel Winterstein,; Alan Bundy &; Mateja Jamnik. Conference paper Daniel Winterstein, Alan Bundy & Mateja Jamnik. Authors. Daniel Winterstein.

Verwandte Suchanfragen zu Daniel Winterstein

Christoph Lüth
Björn Born
Miriam Aust

Sarah Rupprecht
Caroline Dörfler
Marcel Dohm

Personen
Vorname "Daniel" (84887)
Name "Winterstein" (481)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Daniel Winterstein

EconPapers: Encountering #Feminism on Twitter: Reflections on a...

An Experimental Comparison of Diagrammatic and ...Springer Link

(PDF) Evaluating Machine CreativityResearchGate

A Framework for Interactive Proof | SpringerLinklink.springer.com › chapter

Dr.Doodle: A Diagrammatic Theorem Prover | SpringerLink

A Framework for Interactive Proof | SpringerLink

On Differences between the Real and Physical PlaneSpringer Link