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

QR Code

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

Bibliographic Details
Format:	Book
Published:	c2008.
Online Access:	Ver documento en línea

Similar Items

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

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

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

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

Data integration in the life sciences : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017. Proceedings /
Published: (2017)

Data Integration in the Life Sciences : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings /
Published: (2017)

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

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

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

Mathematical logic and theoretical computer science
by: Kueker, D.W
Published: (1987)

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

Computational science -ICCS 2008 : 8th International Conference, Kraków, Poland, june 23-25, 2008, proceeding /
Published: (2008)

Computational science and its applications -ICCSA 2008 : International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings /
Published: (2008)

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

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

Advances in computer science and engineering : 13th international CSI computer conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 revised selected papers /
Published: (2008)

Algorithmic decision theory : 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings.

Computer security : ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019, Revised Selected Papers /
Published: (2020)

Computational logic in multi-agent systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /
Published: (2009)

Cooperative design, visualization, and engineering : 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009, Proceedings /
Published: (2009)

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

Computability and logic /
by: Boolos, George
Published: (1980)

Computers helping people with special needs : 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008, Proceedings /
Published: (2008)

Computer security : ESORICS 2019 International Workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26-27, 2019 Revised Selected Papers /
Published: (2020)

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

Logic, methodology and philosophy of sciences proceedings of the 1964 International Congress
by: Bar-Hillel y Yehoshua
Published: (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 /
by: Homer, S., et al.
Published: (1964)

Computer science - theory and applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29-July 3, 2020, Proceedings /
Published: (2020)

Advances in computer science and education applications : international conference, CSE 2011 Qingdao, China, July 9-10, 2011 proceedings /
Published: (2011)

Advanced intelligent computing theories and applications : 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008, proceedings /
Published: (2008)

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

Ad-Hoc, mobile and wireless networks. : 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1-3, 2019 proceedings /
Published: (2019)

Computer aided verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /
Published: (2008)

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

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

Computer security - ESORICS 2019 : 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings /
Published: (2019)

Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /
Published: (2008)

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

Computer and Information Sciences : Proceedings of the 25th International Symposium on Computer and Information Sciences /
Published: (2010)

Computer and information sciences : Proceedings of the 25th International Symposium on Computer and Information Sciences /
Published: (2010)