Using the Event Calculus to Reason about Problem Diagrams

Andreas Classen, Robin Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

47 Téléchargements (Pure)
Filtrer
Terminé

Résultats de recherche