Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /

Código QR

Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /

Detalles Bibliográficos
Formato:	Libro
Publicado:	c2012.
Acceso en línea:	Ver documento en línea

Ejemplares similares

Deontic logic in computer science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings /
Publicado: (2008)

Deontic logic in computer science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Publicado: (2010)

Deontic logic and normative systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
Publicado: (2014)

Imperatives and deontic logic
por: Castañeda Calderón, Héctor Neri 1924 - 1991, et al.

El cálculo diádico en An essay in deontic logic, de G.H Von Wright : Breve nota crítica /
por: Quezada Pulido, Wilfredo

Essential logic for computer science /
por: Page, Rex L. 1944-
Publicado: (2018)

Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /
Publicado: (2017)

Mathematical logic and theoretical computer science
por: Kueker, D.W
Publicado: (1987)

Computational logic in multi-agent systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings /
Publicado: (2011)

Computer science - theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings /
Publicado: (2012)

Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings /
Publicado: (2013)

Computational logic in multi-agent systems : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings /
Publicado: (2010)

Computer science and multiple-valued logic theory and applications
por: Rine, David C.
Publicado: (1977)

Computational science and its applications -ICCSA 2012 : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings /
Publicado: (2012)

Computational logic in multi-agent systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings /
Publicado: (2012)

Proceedings of the 2012 International Conference of Modern Computer Science and Applications /
Publicado: (2013)

Advances in computational environment science : selected papers from 2012 International Conference on Environment Science (ICES 2012), Australia, Melbourne, 15-16 January, 2012. /
Publicado: (2012)

Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers /
Publicado: (2017)

Computational science and its applications -ICCSA 2015 : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings /
Publicado: (2015)

Computational science - ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018 /
Publicado: (2018)

Computability and logic /
por: Boolos, George
Publicado: (1980)

Computers helping people with special needs : 13th International Conference, ICCHP 2012, Linz, Austria, July 11-13, 2012, Proceedings /
Publicado: (2012)

Distributed computing : 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings /
Publicado: (2012)

Computational science and its applications -ICCSA 2018 : 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings /
Publicado: (2018)

Emerging research in electronics, computer science and technology : Proceedings of International Conference, ICERECT 2012 /
Publicado: (2014)

Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings /
Publicado: (2014)

Cloud computing and services science : Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised selected papers /
Publicado: (2013)

Logic, methodology and philosophy of sciences proceedings of the 1964 International Congress
por: Bar-Hillel y Yehoshua
Publicado: (1965)

Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 /
por: Homer, S., et al.
Publicado: (1964)

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado: (2017)

Advances in computer science and information technology : Second International Conference, CCSIT 2012 Bangalore, India, January 2-4, 2012 Proceedings. /
Publicado: (2012)

Advances in computer science, engineering and applications : proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), may 25-27, 2012, New Delhi, India /
Publicado: (2012)

Coalgebraic methods in computer science : 11th International Workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, march 31 -- april 1, 2012, revised selected papers /
Publicado: (2012)

Computer logic : the functional design of digital computers /
por: Flores, Iván, et al.
Publicado: (1960)

Computing and combinatorics : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings /
Publicado: (2012)

Computer aided verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Publicado: (2012)

Advances in visual computing : 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers.

Entertainment computing -ICEC 2012 : 11th International Conference, ICEC 2012 Bremen, Germany, September 26-29, 2012 Proceedings /

Logic, methodology and philosophy of science IV : proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 /
por: Suppes, Patrick Colonel 1922-
Publicado: (1973)

Digital logic for computing /