Deontic logic in computer science : 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010, proceedings

>> Google Books

QRコード(所蔵情報)

Deontic logic in computer science : 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010, proceedings

フォーマット:

図書

責任表示:

Guido Governatori, Giovanni Sartor (eds.)

言語:

英語

出版情報:

Berlin : Springer, c2010

形態:

viii, 322 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 6181 . Lecture notes in artificial intelligence <BA00009279>

書誌ID:

BB03647905

ISBN:

9783642141829 [364214182X]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Informatik--Deontische Logik--Kongress--Fiesole <2010>
分類・件名:	SG : 004.015113 SG : 004;510 SWD : Informatik -- Deontische Logik -- Kongress -- Fiesole <2010>
注記:	Includes bibliographical rererences
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Deontic logic in computer science : 9th International Conference, DEON 2008 Luxembourg, Luxembourg, July 15-18, 2008 : proceedings International Workshop on Deontic Logic in Computer Science, Van der Meyden, Ron, Van der torre, Leendert Springer	7 図書 Deontic logic and normative systems : 14th international conference, DEON 2016, Utrecht, The Netherlands, 3-6 July, 2018 Broersen, Jan, Condoravdi, Cleo A., 1962-, Nair, Shyam, Pigozzi, Gabriella College Publications
2 図書 Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings Ågotnes, Thomas, Broersen, Jan, Elgesem, Dag Springer	8 図書 Numerical methods in thermal problems : proceedings of the Second International Conference held in Venice, Italy on 7th-10th July, 1981 International Conference on Numerical Methods in Thermal Problems, Lewis, R. W. (Roland Wynne), Morgan, K. (Kenneth), …
3 図書 Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings International Workshop on Deontic Logic in Computer Science, Lomuscio, Alessio, Nute, Donald, 1947- Springer	9 電子ブック Deontic Logic in Computer Science International Workshop on Deontic Logic in Computer Science Springer Berlin / Heidelberg
4 図書 Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July … International Workshop on Deontic Logic in Computer Science, Goble, Lou, Meyer, John-Jules Springer	10 図書 Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings CAV (Conference), Etessami, Kousha, Rajamani, Sriram K. Springer
5 図書 Deontic logic and normative systems : 12th international conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings Cariani, Fabrizio Springer	11 図書 Proceedings of 16th International Conference on Computers and Industrial Engineering, ICC & IE-94, March 7-9, 1994, Ashikaga Institute of Technology, … International Conference on Computers and Industrial Engineering Ashikaga Institute of Technology
6 図書 Deontic logic and normative systems : 13th international conference, DEON 2016, Bayreuth, Germany, July 18-21, 2016 Roy, Olivier, Tamminga, Allard, Willer, Malte College Publications	12 図書 9th international symposium on non-linear electromagnetic systems, 10-12 May 1999, Pavia, Italy : Conference Digest [s.n.]