Jump to main content

yr 〜
yr

Search results 9

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
Paper図書
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editorsSpringer[2021]<M154-D14>
National Diet LibraryOther Libraries in Japan

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)
Paper図書
Springer[2016]<M17-19-536>
National Diet Library

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, proceedings

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, proceedings
Paper図書
Shengchao Qin, Jim Woodcock, Wenhui ZhangSpringerc2021
Other Libraries in Japan
  • Subject Heading...ndheld devices Mathematics -- Logic Computers -- Programming -- A...
  • Subject Heading (ID)...ndheld devices Mathematics -- Logic Computers -- Programming -- A...

Infinity : new research frontiers : hardcover

Infinity : new research frontiers : hardcover
Paper図書
edited by Michael Heller, W. Hugh WoodinCambridge University Press2011
Other Libraries in Japan
  • Subject HeadingInfinite -- History Mathematics -- Philosophy MATHEMATICS -- Logic
  • Subject Heading (ID)Infinite -- History Mathematics -- Philosophy MATHEMATICS -- Logic

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 In...
  • Subject Heading (ID)...ieval. bisacsh Mathematics -- Logic. bisacsh Computers -- User In...

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 In...
  • Subject Heading (ID)...ieval. bisacsh Mathematics -- Logic. bisacsh Computers -- User In...

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

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 Mo...
  • Subject Heading (ID)...LC)fst01098997 Mathematics -- Logic. bisacsh Computers -- Data Mo...

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 -- Program...
  • Subject Heading (ID)...vices. bisacsh Mathematics -- Logic. bisacsh Computers -- Program...

Reached to the end of result.

RSS