-
1Algebraic and Logic Programming [electronic resource] : 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings / Algebraic and Logic Programming [electronic resource] : 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings /por Hanus, Michael. editor., Heering, Jan. editor., Meinke, Karl. editor., SpringerLink (Online service)
Publicado 1997Texto bibliotecaCOLPOS -
2Algebraic and Logic Programming [electronic resource] : 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings / Algebraic and Logic Programming [electronic resource] : 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings /por Hanus, Michael. editor., Heering, Jan. editor., Meinke, Karl. editor., SpringerLink (Online service)
Publicado 1997Texto bibliotecaCOLPOS -
3Computer Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers / Computer Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers /por Börger, Egon. editor., Gurevich, Yuri. editor., Meinke, Karl. editor., SpringerLink (Online service)
Publicado 1994Texto bibliotecaCOLPOS -
4Computer Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers / Computer Science Logic [electronic resource] : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers /por Börger, Egon. editor., Gurevich, Yuri. editor., Meinke, Karl. editor., SpringerLink (Online service)
Publicado 1994Texto bibliotecaCOLPOS -
5Principles of Declarative Programming [electronic resource] : 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, Septemb... Principles of Declarative Programming [electronic resource] : 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, Septemb...por Palamidessi, Catuscia. editor., Glaser, Hugh. editor., Meinke, Karl. editor., SpringerLink (Online service)
Publicado 1998Texto bibliotecaCOLPOS -
6Principles of Declarative Programming [electronic resource] : 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, Septemb... Principles of Declarative Programming [electronic resource] : 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, Septemb...por Palamidessi, Catuscia. editor., Glaser, Hugh. editor., Meinke, Karl. editor., SpringerLink (Online service)
Publicado 1998Texto bibliotecaCOLPOS -
7Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers / Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers /por Heering, Jan. editor., Meinke, Karl. editor., Möller, Bernhard. editor., Nipkow, Tobias. editor., SpringerLink (Online service)
Publicado 1994Texto bibliotecaCOLPOS -
8Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers / Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers /por Heering, Jan. editor., Meinke, Karl. editor., Möller, Bernhard. editor., Nipkow, Tobias. editor., SpringerLink (Online service)
Publicado 1994Texto bibliotecaCOLPOS