Cainéil - Deontic Logic in Computer Science : :: Biblioteca ITESO

Míreanna comhchosúla: Deontic Logic in Computer Science :

Spléachadh Tapa
Deontic Logic in Computer Science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings /
Spléachadh Tapa
Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Spléachadh Tapa
Deontic Logic in Computer Science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings /
Spléachadh Tapa
Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : Proceedings /
Spléachadh Tapa
Deontic Logic and Artificial Normative Systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings /
Spléachadh Tapa
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /
Spléachadh Tapa
Modelling, Computation and Optimization in Information Systems and Management Sciences : Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Proceedings /
Spléachadh Tapa
Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /
Spléachadh Tapa
Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings /
Spléachadh Tapa
Advanced Information Systems Engineering : 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings /
Spléachadh Tapa
Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings /
Spléachadh Tapa
Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /
Spléachadh Tapa
Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /
Spléachadh Tapa
Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /
Spléachadh Tapa
Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
Spléachadh Tapa
Mathematical Logic for Computer Science /
Spléachadh Tapa
Computer Science Logic : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
Spléachadh Tapa
Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings /
Spléachadh Tapa
Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
Spléachadh Tapa
Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
Spléachadh Tapa
Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /
Spléachadh Tapa
Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /
Spléachadh Tapa
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
Spléachadh Tapa
Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers /

Údar: Ron Meyden, Leendert Torre

Spléachadh Tapa
Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0