+ Follow

Alana J London

,

7 Presentations
United States
Joined 02/05/2019

Uploads

Generating Implied Constraints via Proof Planning

Generating Implied Constraints via Proof Planning

172 views

Amazing grace, how sweet the sound That saved a wretch like me

Amazing grace, how sweet the sound That saved a wretch like me

129 views

Lecture 5 (Modality)

Lecture 5 (Modality)

109 views

Statecharts: A Visual Formalism for Complex Systems

Statecharts: A Visual Formalism for Complex Systems

469 views

Cincinnati Health Department/ Greater Cincinnati Oral Health Council

Cincinnati Health Department/ Greater Cincinnati Oral Health Council

219 views

University of Kentucky Records Management Tutorial

University of Kentucky Records Management Tutorial

153 views

List comprehensions (and other shortcuts)

List comprehensions (and other shortcuts)

255 views