+ Follow

Alana J London

,

7 Presentations
United States
Rejoint 02/05/2019

Télécharger

Generating Implied Constraints via Proof Planning

Generating Implied Constraints via Proof Planning

173 vues

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

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

132 vues

Lecture 5 (Modality)

Lecture 5 (Modality)

125 vues

Statecharts: A Visual Formalism for Complex Systems

Statecharts: A Visual Formalism for Complex Systems

473 vues

Cincinnati Health Department/ Greater Cincinnati Oral Health Council

Cincinnati Health Department/ Greater Cincinnati Oral Health Council

224 vues

University of Kentucky Records Management Tutorial

University of Kentucky Records Management Tutorial

156 vues

List comprehensions (and other shortcuts)

List comprehensions (and other shortcuts)

258 vues