Deontic Logic in Computer Science [[electronic resource] ] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings / / edited by Thomas Agotnes, Jan M. Broersen, Dag Elgesem |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XII, 215 p. 21 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Mathematical logic
Artificial intelligence Computer logic Application software Computer programming Computer science—Mathematics Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Computer Appl. in Administrative Data Processing Programming Techniques Discrete Mathematics in Computer Science |
ISBN | 3-642-31570-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465323403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
SOCINFO 2009 : International Workshop on Social Informatics : proceedings, 22-24 June 2009, Warsaw, Poland |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2009 |
Disciplina | 303.48/33 |
Soggetto topico |
Information technology - Social aspects
Information society - Social aspects Electrical & Computer Engineering Engineering & Applied Sciences Information Technology |
ISBN | 1-5090-7464-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996216416603316 |
[Place of publication not identified], : IEEE Computer Society, 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
SOCINFO 2009 : International Workshop on Social Informatics : proceedings, 22-24 June 2009, Warsaw, Poland |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2009 |
Disciplina | 303.48/33 |
Soggetto topico |
Information technology - Social aspects
Information society - Social aspects Electrical & Computer Engineering Engineering & Applied Sciences Information Technology |
ISBN | 1-5090-7464-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910140026803321 |
[Place of publication not identified], : IEEE Computer Society, 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|