author:Meinke, Karl | カーリル

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Principles of Declarative Programming: 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, ... (Lecture Notes in Computer Science, 1490)

Palamidessi, Catuscia／Glaser, Hugh／Meinke, Karl

Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Computer Science, 1298)

Hanus, Michael／Heering, Jan／Meinke, Karl

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, 1074)

Heering, Jan／M??ller, Bernhard／Dowek, Gilles／Meinke, Karl

Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Lecture Notes in Computer Science, 832)

Gurevich, Yuri／B??rger, Egon／Meinke, Karl

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science, 816)

Heering, Jan／Nipkow, Tobias／M??ller, Bernhard／Meinke, Karl

Taschenbuch der Hochfrequenztechnik: Band 1: Grundlagen

Meinke, H. H.／Lange, Klaus／Gundlach, F. W.／Loecherer, Karl-Heinz

Tests and proofs : 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings

Laura Kovács, Karl Meinke (eds.)

The origins and consequences of congressional party election agendas

Scott R. Meinke

Das Recht der Schulen in freier Trägerschaft : Handbuch für Praxis und Wissenschaft

Keller, Krampen, Surwehme (Hrsg.) ; mit einem Geleitwort von Johann Peter Vogel

Leadership organizations in the house of representatives : party participation and partisan politics

Scott R. Meinke

1
2