Albert Steckermeier - Wissenschaftliche Veröffentlichungen

(1 - 7 von 7

)

dblp: Sascha Böhme

dblp.uni-trier.de

List of computer science publications by Sascha Böhme

dblp: Albert Steckermeier

dblp.org

List of computer science publications by Albert Steckermeier

dblp: Journal of Automated Reasoning, Volume 56

dblp.org

Bibliographic content of Journal of Automated Reasoning, Volume 56

dblp: Jasmin Christian Blanchette

dblp.org

List of computer science publications by Jasmin Christian Blanchette

Mathias Fleury - dblpdblp.org › Persons

dblp.org

Jasmin Christian Blanchette , Sascha Böhme, Mathias Fleury , Steffen Juilf Smolka , Albert Steckermeier: Semi-intelligible Isar Proofs from Machine-Generated ...

[isabelle-dev] New user: steckerm

www.mail-archive.com

Hi all, Albert Steckermeier (steckerm) has just been added to the Isabelle group. He's a B.Sc. student who is working on an integration of the equality prover Waldmeister with Sledgehammer. Like all my students, he will get the proper repository training.

Verwandte Suchanfragen zu Albert Steckermeier

Jasmin Blanchette
Sascha Böhme
Mathias Fleury

Personen
Vorname "Albert" (19905)
Name "Steckermeier" (47)

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

Wissenschaftliche Veröffentlichungen Albert Steckermeier

dblp: Sascha Böhme

dblp: Albert Steckermeier

dblp: Journal of Automated Reasoning, Volume 56

dblp: Jasmin Christian Blanchette

Mathias Fleury - dblpdblp.org › Persons

[isabelle-dev] New user: steckerm