yr 〜
yr

Search results 5

AI*IA 2019 - advances in artificial intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019 : proceedings

AI*IA 2019 - advances in artificial intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019 : proceedings
Paper図書
Mario Alviano, Gianluigi Greco, Francesco Scarcello (eds.)Springerc2019
Other Libraries in Japan
  • Subject Heading...ieval. bisacsh Mathematics -- Logic. bisacsh Computers -- User Interfaces....
  • Subject Heading (ID)...ieval. bisacsh Mathematics -- Logic. bisacsh Computers -- User Interfaces....

AI*IA 2018 - advances in artificial intelligence : XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018 : proceedings

AI*IA 2018 - advances in artificial intelligence : XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018 : proceedings
Paper図書
Chiara Ghidini ... [et al.] (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...ieval. bisacsh Mathematics -- Logic. bisacsh Computers -- User Interfaces....
  • Subject Heading (ID)...ieval. bisacsh Mathematics -- Logic. bisacsh Computers -- User Interfaces....

Implementation and application of automata : 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30-August 2, 2018, Proceedings

Implementation and application of automata : 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30-August 2, 2018, Proceedings
Paper図書
Cezar Câmpeanu (ed.)Springerc2018
Other Libraries in Japan
  • Subject Heading...LC)fst01098997 Mathematics -- Logic. bisacsh Computers -- Data Modeling & ...
  • Subject Heading (ID)...LC)fst01098997 Mathematics -- Logic. bisacsh Computers -- Data Modeling & ...

Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings : [pbk]

Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings : [pbk]
Paper図書
Xinyu Feng, Markus Müller-Olm, Zijiang YangSpringerc2018
Other Libraries in Japan
  • Subject Heading...vices. bisacsh Mathematics -- Logic. bisacsh Computers -- Programming -- A...
  • Subject Heading (ID)...vices. bisacsh Mathematics -- Logic. bisacsh Computers -- Programming -- A...

Combinatorics and reasoning : representing, justifying and building isomorphisms : hardcover

Combinatorics and reasoning : representing, justifying and building isomorphisms : hardcover
Paper図書
Carolyn A. Maher, Arthur B. Powell, Elizabeth B. Uptegrove (Editors)Springerc2011
Other Libraries in Japan
  • Subject Heading...inity. bisacsh MATHEMATICS -- Logic. bisacsh Electronic books
  • Subject Heading (ID)...inity. bisacsh MATHEMATICS -- Logic. bisacsh Electronic books

Reached to the end of result.