☰
Explorar
Iniciar sesión
Crear una nueva cuenta
Pubblicare
×
Descargar
No category
RuleML 1.0
A Discussion of Some Intuitions of Defeasible
Object-Oriented RuleML
Slide 1
Object-Oriented RuleML
Slide 1
Dafny, a program verifier for functional correctness
Program synthesis with Jennisys
Computers: Tools for an Information Age
Implementing Rational Features for Agents in Logic …
ECMAScript 6
