Dipòsit Digital de Documents de la UAB 1 registres trobats  La cerca s'ha fet en 0.00 segons. 
1.
66 p, 633.9 KB Formalising deductive coherence : an application to norm evaluation / Joseph, Sindhu ; Sierra, Carles ; Schorlemmer, Wernher Marco ; Universitat Autònoma de Barcelona. Departament de Ciències de la Computació
2008  

Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.