Karl Meinke - Böcker
Visar alla böcker från författaren Karl Meinke.
7 produkter
7 produkter
Del 13361 - Lecture Notes in Computer Science
Tests and Proofs
16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
Häftad, Engelska, 2022
719 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2018
849 kr
Skickas inom 10-15 vardagar
Del 816 - Lecture Notes in Computer Science
Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Häftad, Engelska, 1994
719 kr
Skickas inom 10-15 vardagar
Del 832 - Lecture Notes in Computer Science
Computer Science Logic
7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Häftad, Engelska, 1994
719 kr
Skickas inom 10-15 vardagar
Del 1074 - Lecture Notes in Computer Science
Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Häftad, Engelska, 1996
719 kr
Skickas inom 10-15 vardagar
Del 1298 - Lecture Notes in Computer Science
Algebraic and Logic Programming
6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Häftad, Engelska, 1997
739 kr
Skickas inom 10-15 vardagar
Del 1490 - Lecture Notes in Computer Science
Principles of Declarative Programming
10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings
Häftad, Engelska, 1998
739 kr
Skickas inom 10-15 vardagar