「"Schmidt, Renate A."」の検索結果 | NDLサーチ

検索結果 10 件

タイトルでまとめる

Automated Reasoning

デジタル電子書籍・電子雑誌図書

2024

インターネットで読める国立国会図書館

著者標目Christoph Benzmüller Heule, Marijn J. H. Schmidt, Renate A.

Automated Reasoning

デジタル電子書籍・電子雑誌図書

2024

インターネットで読める国立国会図書館

著者標目Benzmüller, Christoph 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)

紙図書

Springerc2013.<M17-14-709>

国立国会図書館

著者標目...istophe, 1967- Schmidt, Renate A.

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

紙図書

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, editorsSpringerc2024

全国の図書館

著者標目IJCAR 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

紙図書

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt, editorsSpringerc2024

全国の図書館

著者標目IJCAR 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)

紙図書

Springerc2009.<M17-10-1638>

国立国会図書館

著者標目...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)

紙図書

Springerc2006.<M17-06-3042>

国立国会図書館

著者標目...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

紙図書

Renate A. Schmidt (ed.)Springerc2009

全国の図書館

著者標目International Conference on Automated Deduction Schmidt, Renate A.

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

紙図書

Dov M. Gabbay, Renate A. Schmidt, and Andrzej SzałasCollege Publications2008

全国の図書館

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

紙図書

Renate A. Schmidt (ed.)Springerc2006

全国の図書館

著者標目RelMiCS International Workshop on Applications of Kleene Algebra Schmidt, Renate A.

検索結果は以上です。

RSS