Schmidt, Renate A.

ID:DA16421154

同姓同名の著者を検索

検索結果4件中 1-4 を表示

1

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, editors

Springer c2024 Lecture notes in computer science 14740 . Lecture notes in artificial intelligence

所蔵館1館
2

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, editors

Springer c2024 Lecture notes in computer science 14739 . Lecture notes in artificial intelligence

所蔵館1館
3

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

Renate A. Schmidt (ed.)

Springer c2009 Lecture notes in computer science 5663 . Lecture notes in artificial intelligence

所蔵館2館
4

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.)

Springer c2006 Lecture notes in computer science 4136

所蔵館8館

この著者を外部サイトでさがす

関連著者

ページトップへ