本文に飛ぶ

年 〜
年

検索結果 136 件

2010 25th Annual IEEE Symposium on Logic in Computer Science

2010 25th Annual IEEE Symposium on Logic in Computer Science
デジタル電子書籍・電子雑誌図書
2010
国立国会図書館
  • その他のタイトル（略タイトル）LOGIC IN COMPUTER SCIENCE

2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
デジタル電子書籍・電子雑誌図書
2023
国立国会図書館

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
デジタル電子書籍・電子雑誌図書
2021
国立国会図書館

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
デジタル電子書籍・電子雑誌図書
2019
国立国会図書館

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
デジタル電子書籍・電子雑誌図書
2017
国立国会図書館

2016 31st annual ACM/IEEE symposium on logic in computer science (LICS 2016) : New York, New York, USA : 5-8 July 2016 : LICS conference : logic mentoring workshop : 31st annual ACM-IEEE symposium on logic in computer science : Jul 2016, New York, NY.

2016 31st annual ACM/IEEE symposium on logic in computer science (LICS 2016) : New York, New York, USA : 5-8 July 2016 : LICS conference : logic mentoring workshop : 31st annual ACM-IEEE symposium on logic in computer science : Jul 2016, New York, NY.
紙図書
IEEE[2016]<M17-20-322>
国立国会図書館
  • 著者標目Symposium on Logic in Computer Science (31st : 2016 : New York, N.Y....

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
デジタル電子書籍・電子雑誌図書
IEEE2016
国立国会図書館

Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
デジタル電子書籍・電子雑誌図書
2015
国立国会図書館

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
デジタル電子書籍・電子雑誌図書
2013
国立国会図書館

2012 27th annual IEEE symposium on logic in computer science : (LICS 2012) : Dubrovnik, Croatia : 25-28 June 2012 : 2012 27th annual ACM/IEEE symposium on logic in computer science : LICS 2012 conference : Jun 2012, Dubrovnik, Croatia.

2012 27th annual IEEE symposium on logic in computer science : (LICS 2012) : Dubrovnik, Croatia : 25-28 June 2012 : 2012 27th annual ACM/IEEE symposium on logic in computer science : LICS 2012 conference : Jun 2012, Dubrovnik, Croatia.
紙図書
IEEEc2012.<M17-13-916>
国立国会図書館

2012 27th Annual IEEE Symposium on Logic in Computer Science

2012 27th Annual IEEE Symposium on Logic in Computer Science
デジタル電子書籍・電子雑誌図書
2012
国立国会図書館

2015 30th annual ACM/IEEE symposium on logic in computer science : (LICS 2015) : Kyoto, Japan : 6-10 July 2015 : LICS 2015 conference : Jul 2015, Kyoto, Japan.

2015 30th annual ACM/IEEE symposium on logic in computer science : (LICS 2015) : Kyoto, Japan : 6-10 July 2015 : LICS 2015 conference : Jul 2015, Kyoto, Japan.
紙図書
IEEE[2015]<M17-17-1219>
国立国会図書館
  • 著者標目Symposium on Logic in Computer Science (30th : 2015 : Kyoto, Japan)

2011 IEEE 26th Annual Symposium on Logic in Computer Science

2011 IEEE 26th Annual Symposium on Logic in Computer Science
デジタル電子書籍・電子雑誌図書
2011
国立国会図書館

2013 28th annual ACM/IEEE symposium on logic in computer science : (LICS 2013) : New Orleans, Louisiana, USA : 25-28 June 2013 : Jun 2013, New Orleans, LA.

2013 28th annual ACM/IEEE symposium on logic in computer science : (LICS 2013) : New Orleans, Louisiana, USA : 25-28 June 2013 : Jun 2013, New Orleans, LA.
紙図書
IEEEc2013.<M17-14-1011>
国立国会図書館

2014 IEEE 27th computer security foundations symposium : (CSF 2014) : Vienna, Austria : 19-22 July 2014 : FLoC 2014 : logic in computer science/federated logic conference : VSL : Vienna summer of logic : Jul 2014, Vienna, Austria.

2014 IEEE 27th computer security foundations symposium : (CSF 2014) : Vienna, Austria : 19-22 July 2014 : FLoC 2014 : logic in computer science/federated logic conference : VSL : Vienna summer of logic : Jul 2014, Vienna, Austria.
紙図書
IEEE[2014]<M17-16-1064>
国立国会図書館

Deontic logic in computer science : 10th international conference, DEON 2010 : Fiesole, Italy, July 7-9, 2010 : proceedings. : Jul 2010, Fiesole, Italy. (Lecture Notes in Computer Science ; 6181. Lecture Notes in Artificial Intelligence)

Deontic logic in computer science : 10th international conference, DEON 2010 : Fiesole, Italy, July 7-9, 2010 : proceedings. : Jul 2010, Fiesole, Italy. (Lecture Notes in Computer Science ; 6181. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2010.<M17-11-156>
国立国会図書館
  • 一般注記...nce on Deontic Logic in Computer Science, (...) This biennial conferen...
  • 著者標目...nce on Deontic Logic in Computer Science (10th : 2010 : Fiesole, Italy...

2009 24th Annual IEEE Symposium on Logic In Computer Science

2009 24th Annual IEEE Symposium on Logic In Computer Science
デジタル電子書籍・電子雑誌図書
2009
国立国会図書館

2011 26th annual IEEE symposium on logic in computer science : (LICS 2011) : Toronto, Ontario, Canada : 21-24 June 2011 : LICS 2011 conference : Jun 2011, Toronto, Canada.

2011 26th annual IEEE symposium on logic in computer science : (LICS 2011) : Toronto, Ontario, Canada : 21-24 June 2011 : LICS 2011 conference : Jun 2011, Toronto, Canada.
紙図書
IEEEc2011.<M17-12-1587>
国立国会図書館

2008 23rd Annual IEEE Symposium on Logic in Computer Science

2008 23rd Annual IEEE Symposium on Logic in Computer Science
デジタル電子書籍・電子雑誌図書
2008
国立国会図書館

Deontic logic in computer science : 9th international conference, DEON 2008 : Luxembourg, Luxembourg, July 15-18, 2008 : proceedings. : Jul 2008, Luxembourg, Luxembourg. (Lecture Notes in Computer Science ; 5076. Lecture Notes in Artificial Intelligence)

Deontic logic in computer science : 9th international conference, DEON 2008 : Luxembourg, Luxembourg, July 15-18, 2008 : proceedings. : Jul 2008, Luxembourg, Luxembourg. (Lecture Notes in Computer Science ; 5076. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2008.<M17-08-1934>
国立国会図書館
  • 著者標目...nce on Deontic Logic in Computer Science (9th : 2008 : Luxembourg, Lux...
RSS