Jump to main content

yr 〜
yr

Search results 136

2010 25th Annual IEEE Symposium on Logic in Computer Science

2010 25th Annual IEEE Symposium on Logic in Computer Science
Digital電子書籍・電子雑誌図書
2010
National Diet Library
  • Abbreviated TitleLOGIC 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)
Digital電子書籍・電子雑誌図書
2023
National Diet Library

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
Digital電子書籍・電子雑誌図書
2021
National Diet Library

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

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Digital電子書籍・電子雑誌図書
2019
National Diet Library

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
Digital電子書籍・電子雑誌図書
2017
National Diet Library

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.
Paper図書
IEEE[2016]<M17-20-322>
National Diet Library
  • Author HeadingSymposium 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
Digital電子書籍・電子雑誌図書
IEEE2016
National Diet Library

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)
Digital電子書籍・電子雑誌図書
2015
National Diet Library

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

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Digital電子書籍・電子雑誌図書
2013
National Diet Library

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.
Paper図書
IEEEc2012.<M17-13-916>
National Diet Library

2012 27th Annual IEEE Symposium on Logic in Computer Science

2012 27th Annual IEEE Symposium on Logic in Computer Science
Digital電子書籍・電子雑誌図書
2012
National Diet Library

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.
Paper図書
IEEE[2015]<M17-17-1219>
National Diet Library
  • Author HeadingSymposium 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
Digital電子書籍・電子雑誌図書
2011
National Diet Library

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.
Paper図書
IEEEc2013.<M17-14-1011>
National Diet Library

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.
Paper図書
IEEE[2014]<M17-16-1064>
National Diet Library

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)
Paper図書
Springerc2010.<M17-11-156>
National Diet Library
  • Note (General)...nce on Deontic Logic in Computer Science, (...) This biennial conferen...
  • Author Heading...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
Digital電子書籍・電子雑誌図書
2009
National Diet Library

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.
Paper図書
IEEEc2011.<M17-12-1587>
National Diet Library

2008 23rd Annual IEEE Symposium on Logic in Computer Science

2008 23rd Annual IEEE Symposium on Logic in Computer Science
Digital電子書籍・電子雑誌図書
2008
National Diet Library

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)
Paper図書
Springerc2008.<M17-08-1934>
National Diet Library
  • Author Heading...nce on Deontic Logic in Computer Science (9th : 2008 : Luxembourg, Lux...
RSS