Zobrazeno 1 - 10
of 102
pro vyhledávání: '"SCHWARZ, SIBYLLE"'
Autor:
Garland, Henry, Garland, Mary
Publikováno v:
The Oxford Companion to German Literature, 3 ed., 2005.
Externí odkaz:
http://www.oxfordreference.com/view/10.1093/acref/9780198158967.001.0001/acref-9780198158967-e-4844
Cyp (Check Your Proofs) (Durner and Noschinski 2013; Traytel 2019) verifies proofs about Haskell-like programs. We extended Cyp with a pattern matcher for programs and proof terms, and a type checker. This allows to use Cyp for auto-grading exercises
Externí odkaz:
http://arxiv.org/abs/2009.01326
Autor:
Kaye, Joyce Rutter
Publikováno v:
Print. May/Jun99, Vol. 53 Issue 3, p108. 8p. 14 Color Photographs, 7 Black and White Photographs.
Autor:
Schwarz, Sibylle, Voigtländer, Janis
Publikováno v:
EPTCS 234, 2017
The Workshops on (Constraint) Logic Programming (WLP) are the annual meeting of the German Society of Logic Programming (Gesellschaft f\"ur Logische Programmierung e.V., GLP) and bring together researchers interested in logic programming, constraint
Externí odkaz:
http://arxiv.org/abs/1701.00148
Autor:
Hitzler, Pascal, Schwarz, Sibylle
Currently, the variety of expressive extensions and different semantics created for logic programs with negation is diverse and heterogeneous, and there is a lack of comprehensive comparative studies which map out the multitude of perspectives in a u
Externí odkaz:
http://arxiv.org/abs/cs/0511038
Publikováno v:
In Theoretical Computer Science 30 May 2017 679:145-161
Publikováno v:
HDS.Journal - Perspektiven guter Lehre, 2012. :45-47
Wichtiger Teil von Lehrveranstaltungen zur Mathematik und Informatik ist das eigenständige Bearbeiten passender Lösungsaufgaben durch die Studierenden. Woran erkennt man aber eine richtige Lösung einer solchen Aufgabe? Das ist in den exakten Wisse
Externí odkaz:
https://ul.qucosa.de/id/qucosa%3A12363
https://ul.qucosa.de/api/qucosa%3A12363/attachment/ATT-0/
https://ul.qucosa.de/api/qucosa%3A12363/attachment/ATT-0/
Publikováno v:
HDS.Journal - Perspektiven guter Lehre, 2012. :45-47
Wichtiger Teil von Lehrveranstaltungen zur Mathematik und Informatik ist das eigenständige Bearbeiten passender Lösungsaufgaben durch die Studierenden. Woran erkennt man aber eine richtige Lösung einer solchen Aufgabe? Das ist in den exakten Wisse
Externí odkaz:
http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-138166
http://www.qucosa.de/fileadmin/data/qucosa/documents/13816/gr%C3%A4be.pdf
http://www.qucosa.de/fileadmin/data/qucosa/documents/13816/gr%C3%A4be.pdf
Autor:
Schwarz, Sibylle, Wenzel, Mario
We present ev3dev-prolog – an extendable Prolog API to control LEGO EV3 robots – and demonstrate our approach by several examples from introductory robotics courses like obstacle avoidance and Braitenberg vehicles as well as a more complex exampl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b557632de4e5040bd918e4ae30926468
Autor:
Schwarz, Sibylle, Voigtländer, Janis
The Workshops on (Constraint) Logic Programming (WLP) are the annual meeting of the German Society of Logic Programming (Gesellschaft f\"ur Logische Programmierung e.V., GLP) and bring together researchers interested in logic programming, constraint
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c31b6401454a0c2d54e0e7aeff66676