Search dblp for Publications

export results for "toc:db/conf/ki/kifs1986.bht:"

 download as .bib file

@proceedings{DBLP:conf/ki/1986kifs,
  editor       = {Thomas Christaller and
                  Hans{-}Werner Hein and
                  Michael M. Richter},
  title        = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
                  Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
                  1985 und 8.-16. M{\"{a}}rz 1986},
  series       = {Informatik-Fachberichte},
  volume       = {159},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/978-3-642-73405-2},
  doi          = {10.1007/978-3-642-73405-2},
  isbn         = {3-540-18903-3},
  timestamp    = {Fri, 13 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/1986kifs.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Christaller86,
  author       = {Thomas Christaller},
  editor       = {Thomas Christaller and
                  Hans{-}Werner Hein and
                  Michael M. Richter},
  title        = {Einf{\"{u}}hrung in {LISP}},
  booktitle    = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
                  Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
                  1985 und 8.-16. M{\"{a}}rz 1986},
  series       = {Informatik-Fachberichte},
  volume       = {159},
  pages        = {1--35},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/978-3-642-73405-2\_1},
  doi          = {10.1007/978-3-642-73405-2\_1},
  timestamp    = {Fri, 13 Jul 2018 08:25:52 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Christaller86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/GustK86,
  author       = {Helmar Gust and
                  Michael K{\"{o}}nig},
  editor       = {Thomas Christaller and
                  Hans{-}Werner Hein and
                  Michael M. Richter},
  title        = {{PROLOG:} PROgrammieren mit LOGik - Eine Einf{\"{u}}hrung},
  booktitle    = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
                  Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
                  1985 und 8.-16. M{\"{a}}rz 1986},
  series       = {Informatik-Fachberichte},
  volume       = {159},
  pages        = {36--57},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/978-3-642-73405-2\_2},
  doi          = {10.1007/978-3-642-73405-2\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/GustK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/LeviFL86,
  author       = {Paul Levi and
                  J{\"{u}}rgen Foldenauer and
                  Th. L{\"{o}}ffler},
  editor       = {Thomas Christaller and
                  Hans{-}Werner Hein and
                  Michael M. Richter},
  title        = {Robotik und K{\"{u}}nstliche Intelligenz},
  booktitle    = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
                  Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
                  1985 und 8.-16. M{\"{a}}rz 1986},
  series       = {Informatik-Fachberichte},
  volume       = {159},
  pages        = {58--133},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/978-3-642-73405-2\_3},
  doi          = {10.1007/978-3-642-73405-2\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/LeviFL86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Penner86,
  author       = {Volker Penner},
  editor       = {Thomas Christaller and
                  Hans{-}Werner Hein and
                  Michael M. Richter},
  title        = {Programmverifikation},
  booktitle    = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
                  Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
                  1985 und 8.-16. M{\"{a}}rz 1986},
  series       = {Informatik-Fachberichte},
  volume       = {159},
  pages        = {134--182},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/978-3-642-73405-2\_4},
  doi          = {10.1007/978-3-642-73405-2\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Penner86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/PuppeV86,
  author       = {Frank Puppe and
                  Hans Vo{\ss}},
  editor       = {Thomas Christaller and
                  Hans{-}Werner Hein and
                  Michael M. Richter},
  title        = {Qualitative Modelle in wissensbasierten Systemen},
  booktitle    = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
                  Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
                  1985 und 8.-16. M{\"{a}}rz 1986},
  series       = {Informatik-Fachberichte},
  volume       = {159},
  pages        = {183--244},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/978-3-642-73405-2\_5},
  doi          = {10.1007/978-3-642-73405-2\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/PuppeV86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/SchmalhoferW86,
  author       = {Franz Schmalhofer and
                  Thomas Wetter},
  editor       = {Thomas Christaller and
                  Hans{-}Werner Hein and
                  Michael M. Richter},
  title        = {Kognitive Modellierung: Menschliche Wissensrepr{\"{a}}sentation
                  und Verarbeitungsstrategien},
  booktitle    = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
                  Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
                  1985 und 8.-16. M{\"{a}}rz 1986},
  series       = {Informatik-Fachberichte},
  volume       = {159},
  pages        = {245--291},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/978-3-642-73405-2\_6},
  doi          = {10.1007/978-3-642-73405-2\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/SchmalhoferW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Walther86,
  author       = {Christoph Walther},
  editor       = {Thomas Christaller and
                  Hans{-}Werner Hein and
                  Michael M. Richter},
  title        = {Automatisches Beweisen},
  booktitle    = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
                  Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
                  1985 und 8.-16. M{\"{a}}rz 1986},
  series       = {Informatik-Fachberichte},
  volume       = {159},
  pages        = {292--339},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/978-3-642-73405-2\_7},
  doi          = {10.1007/978-3-642-73405-2\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Walther86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.