Jump to main content

yr 〜
yr

Search results 10

Automated Reasoning

Automated Reasoning
Digital電子書籍・電子雑誌図書
2024
Available onlineNational Diet Library
  • Author HeadingBenzmüller, Christoph Heule, Marijn J. H. Schmidt, Renate A.

Automated Reasoning

Automated Reasoning
Digital電子書籍・電子雑誌図書
2024
Available onlineNational Diet Library
  • Author HeadingChristoph Benzmüller Heule, Marijn J. H. Schmidt, Renate A.

Frontiers of combining systems : 9th international symposium, FroCoS 2013 : Nancy, France, September 18-20, 2013 : proceedings : FroCoS meetings : Sep 2013, Nancy, France. (Lecture Notes in Computer Science ; 8152. Lecture Notes in Artificial Intelligence)

Frontiers of combining systems : 9th international symposium, FroCoS 2013 : Nancy, France, September 18-20, 2013 : proceedings : FroCoS meetings : Sep 2013, Nancy, France. (Lecture Notes in Computer Science ; 8152. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-709>
National Diet Library
  • Author Heading...istophe, 1967- Schmidt, Renate A.

Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, VOL:pt. 2

Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, VOL:pt. 2
Paper図書
Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, editorsSpringerc2024
Other Libraries in Japan
  • Author HeadingIJCAR Benzmüller, Christoph Heule, Marijn J. H. Schmidt, Renate A.

Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, VOL:pt. 1

Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024 : proceedings, VOL:pt. 1
Paper図書
Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, editorsSpringerc2024
Other Libraries in Japan
  • Author HeadingIJCAR Benzmüller, Christoph Heule, Marijn J. H. Schmidt, Renate A.

Automated deduction -- CADE-22 : 22nd international conference on automated deduction : Montreal, Canada, August 2-7, 2009 : proceedings. : Aug 2009, Montreal, Canada. (Lecture Notes in Computer Science ; 5663. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-22 : 22nd international conference on automated deduction : Montreal, Canada, August 2-7, 2009 : proceedings. : Aug 2009, Montreal, Canada. (Lecture Notes in Computer Science ; 5663. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-1638>
National Diet Library
  • Author Heading...puter Science. Schmidt, Renate A. International Conference on A...

Relations and Kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006 : Manchester, UK, August/September, 2006 : proceedings. : RelMiCS-9 : AKA 2006 : Aug 2006, Manchester, UK. (Lecture Notes in Computer Science ; 4136)

Relations and Kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006 : Manchester, UK, August/September, 2006 : proceedings. : RelMiCS-9 : AKA 2006 : Aug 2006, Manchester, UK. (Lecture Notes in Computer Science ; 4136)
Paper図書
Springerc2006.<M17-06-3042>
National Diet Library
  • Author Heading...puter Science. Schmidt, Renate A. International Seminar on Rela...

Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings

Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings
Paper図書
Renate A. Schmidt (ed.)Springerc2009
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Schmidt, Renate A.

Second-order quantifier elimination : foundations, computational aspects and applications

Second-order quantifier elimination : foundations, computational aspects and applications
Paper図書
Dov M. Gabbay, Renate A. Schmidt, and Andrzej SzałasCollege Publications2008
Other Libraries in Japan

Relations and kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : Proceedings

Relations and kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : Proceedings
Paper図書
Renate A. Schmidt (ed.)Springerc2006
Other Libraries in Japan
  • Author HeadingRelMiCS International Workshop on Applications of Kleene Algebra Schmidt, Renate A.

Reached to the end of result.

RSS