PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Maclean, Ewen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A computational framework for conceptual blending.

, , , , , , und . Artif. Intell., (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Maclean, Ewen
Eine Person hinzufügen mit dem Namen Maclean, Ewen
 

Weitere Publikationen von Autoren mit dem selben Namen

A computational framework for conceptual blending., , , , , , und . Artif. Intell., (2018)Proof-Pattern Recognition and Lemma Discovery in ACL2., , , und . LPAR, Volume 8312 von Lecture Notes in Computer Science, Seite 389-406. Springer, (2013)Refinement and Term Synthesis in Loop Invariant Generation., , , und . WING@ETAPS/IJCAR, Volume 1 von EPiC Series in Computing, Seite 167-182. EasyChair, (2010)Synthesising Functional Invariants in Separation Logic., , und . WING@ETAPS/IJCAR, Volume 1 von EPiC Series in Computing, Seite 183-184. EasyChair, (2010)ASP, Amalgamation, and the Conceptual Blending Workflow., , , , , und . LPNMR, Volume 9345 von Lecture Notes in Computer Science, Seite 309-316. Springer, (2015)The Search for Computational Intelligence., und . CoRR, (2015)Proof-Pattern Recognition in ACL2., , , und . CoRR, (2013)Towards Automated Proof Strategy Generalisation, und . CoRR, (2013)Mutation in Linked Data Structures., und . ICFEM, Volume 6991 von Lecture Notes in Computer Science, Seite 275-290. Springer, (2011)The CORE system: Animation and functional correctness of pointer programs., , und . ASE, Seite 588-591. IEEE Computer Society, (2011)