Resultats globals: 1 registres trobats en 0.03 segons.
Documents de recerca, 1 registres trobats
Documents de recerca 1 registres trobats  
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ó ; Universitat Autònoma de Barcelona. Escola d'Enginyeria
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.