-
1Processing Declarative Knowledge [electronic resource] : International Workshop PDK '91 Kaiserslautern, Germany, July 1–3, 1991 Proceedings / Processing Declarative Knowledge [electronic resource] : International Workshop PDK '91 Kaiserslautern, Germany, July 1–3, 1991 Proceedings /by Boley, Harold. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1991Texto bibliotecaCOLPOS -
2Processing Declarative Knowledge [electronic resource] : International Workshop PDK '91 Kaiserslautern, Germany, July 1–3, 1991 Proceedings / Processing Declarative Knowledge [electronic resource] : International Workshop PDK '91 Kaiserslautern, Germany, July 1–3, 1991 Proceedings /by Boley, Harold. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1991Texto bibliotecaCOLPOS -
3CSL '89 [electronic resource] : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings / CSL '89 [electronic resource] : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings /by Börger, Egon. editor., Büning, Hans Kleine. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1990Texto bibliotecaCOLPOS -
4Topics in Case-Based Reasoning [electronic resource] : First European Workshop, EWCBR-93 Kaiserslautern, Germany, November 1–5, 1993 Selected Papers / Topics in Case-Based Reasoning [electronic resource] : First European Workshop, EWCBR-93 Kaiserslautern, Germany, November 1–5, 1993 Selected Papers /by Wess, Stefan. editor., Althoff, Klaus-Dieter. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
5Topics in Case-Based Reasoning [electronic resource] : First European Workshop, EWCBR-93 Kaiserslautern, Germany, November 1–5, 1993 Selected Papers / Topics in Case-Based Reasoning [electronic resource] : First European Workshop, EWCBR-93 Kaiserslautern, Germany, November 1–5, 1993 Selected Papers /by Wess, Stefan. editor., Althoff, Klaus-Dieter. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
6Information Systems and Data Analysis [electronic resource] : Prospects — Foundations — Applications / Information Systems and Data Analysis [electronic resource] : Prospects — Foundations — Applications /by Bock, Hans-Hermann. editor., Lenski, Wolfgang. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
7CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings / CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings /by Börger, Egon. editor., Büning, Hans Kleine. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS -
8CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings / CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings /by Börger, Egon. editor., Büning, Hans Kleine. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS -
9Information Systems and Data Analysis [electronic resource] : Prospects — Foundations — Applications / Information Systems and Data Analysis [electronic resource] : Prospects — Foundations — Applications /by Bock, Hans-Hermann. editor., Lenski, Wolfgang. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1994Texto bibliotecaCOLPOS -
10CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings / CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings /by Börger, Egon. editor., Büning, Hans Kleine. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS -
11CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings / CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings /by Börger, Egon. editor., Büning, Hans Kleine. editor., Richter, Michael M. editor., SpringerLink (Online service)
Published 1988Texto bibliotecaCOLPOS -
12Algorithmic Learning Theory [electronic resource] : 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings / Algorithmic Learning Theory [electronic resource] : 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings /by Richter, Michael M. editor., Smith, Carl H. editor., Wiehagen, Rolf. editor., Zeugmann, Thomas. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
13Algorithmic Learning Theory [electronic resource] : 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings / Algorithmic Learning Theory [electronic resource] : 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings /by Richter, Michael M. editor., Smith, Carl H. editor., Wiehagen, Rolf. editor., Zeugmann, Thomas. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
14Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings /by Börger, Egon. editor., Kleine Büning, Hans. editor., Richter, Michael M. editor., Schönfeld, Wolfgang. editor., SpringerLink (Online service)
Published 1991Texto bibliotecaCOLPOS -
15Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings /by Börger, Egon. editor., Kleine Büning, Hans. editor., Richter, Michael M. editor., Schönfeld, Wolfgang. editor., SpringerLink (Online service)
Published 1991Texto bibliotecaCOLPOS
![Processing Declarative Knowledge [electronic resource] : International Workshop PDK '91 Kaiserslautern, Germany, July 1–3, 1991 Proceedings /](/search/themes/bootstrap3/images/libros.png)