+ 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

130 views

Lecture 5 (Modality)

Lecture 5 (Modality)

111 views

Statecharts: A Visual Formalism for Complex Systems

Statecharts: A Visual Formalism for Complex Systems

470 views

Cincinnati Health Department/ Greater Cincinnati Oral Health Council

Cincinnati Health Department/ Greater Cincinnati Oral Health Council

220 views

University of Kentucky Records Management Tutorial

University of Kentucky Records Management Tutorial

154 views

List comprehensions (and other shortcuts)

List comprehensions (and other shortcuts)

257 views