Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : Proceedings /

Salvato in:
Dettagli Bibliografici
Ente Autore: International Conference on Deontic Logic and Normative Systems ( Gante, Bélgica)
Altri autori: Cariani, Fabrizio (edición) (edición)
Natura: Atti del Convegno Libro
Lingua:inglese
Pubblicazione: Cham, Suiza : Springer, 2014, c2014
Serie:(Lecture Notes in Artificial Intelligence ; 8554)
Soggetti:
Accesso online:Ver documento en línea
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

MARC

LEADER 00000nam^a2200000^a^4500
001 000554280
005 20251023000000.0
009 20260310131654.673
020 |a 978-3-319-08615-6 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a Libro en línea 
111 |a International Conference on Deontic Logic and Normative Systems (  |n 12a :  |d 2014 :  |c Gante, Bélgica) 
245 1 0 |a Deontic Logic and Normative Systems :  |b 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : Proceedings /  |c Ed. de F. Cariani... [et al.]. 
264 4 |a Cham, Suiza :  |b Springer,  |c 2014, c2014 
264 2 |a Cham, Suiza :  |b Springer Link [distribución],  |c 2014, c2014 
300 |a 1 libro electrónico en línea (XII, 273 p.) 
300 |a 1 recurso en línea 
336 |a datos para computadora  |b cod  |2 rdacontenido 
337 |a computadora  |b c  |2 rdamedio 
338 |a recurso en línea  |b cr  |2 rdasoporte 
440 1 |a (Lecture Notes in Artificial Intelligence ;  |v 8554) 
506 0 |a Licencias ilimitadas 
649 |a XX 
650 |a Complejidad Computacional 
650 |a Programación (Software) -  |x Teoría 
650 |a Autómatas Matemáticos -  |x Teoría 
650 |a Cálculo de Predicados 
650 |a Cálculo de Proposiciones 
650 |a Categorías (Matemáticas) 
650 |a Lenguaje Matemático 
650 |a Lógica Matemática -  |x Congresos -  |x Tema Principal 
650 |a Lógica Matemática -  |x Tema Principal 
650 |a Lógica Formal 
650 |a Matemáticas 
650 |a Inteligencia Artificial 
650 |a Ingeniería Computacional 
700 |a Cariani, Fabrizio  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-08615-6  |y Ver documento en línea 
910 |a Fondo General 
920 |a Electrónicos - Libros en Línea 
930 |a Plataforma Digital 
905 |a 205 
901 |a 554280-1  |b IT2  |c EBO  |i C  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000554280