Skip to contents Brzoska, Christoph [Author] Temporal logic programming with metric and past operators based on constraint logic programming Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: Univ., Fak. für Informatik, 1993 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,2 Brzoska, Christoph [Author] Temporal logic programming : a survey Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: Univ., Fak. für Informatik, 1989 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,22 Brzoska, Christoph [Author] Temporal logic programming and its relation to constraint logic programming Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: Univ., Fak. für Informatik, 1990 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 90,36 Brzoska, Christoph [Author]; Schäfer, Karl [Author] LIMETTE : logic programming integrating metric temporal extensions ; an extension of KA-Prolog for temporal reasoning ; language specification user manual Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: Univ., Fak. für Informatik, 1993 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,9 Schiela, David [Author]; Brzoska, Patrycia [Author]; Schünemann, Christoph [Author]; Westermann, Janneke [Author]; Grunewald, Karsten [Author]; Ortlepp, Regine [Author] ; Leibniz-Institut für Ökologische Raumentwicklung HeatResilientCity - Hitzeresiliente Stadt- und Quartiersentwicklung in Großstädten - Bewohnerorientierte Wissensgenerierung und Umsetzung in Dresden und Erfurt : Schlussbericht des Verbundvorhabens HeatResilientCity : Teilprojekt 1: Gesamtkoordination, baukonstruktive Anpassung hitzesensitiver Gebäude sowie Bewertung klimatischer Ökosystemleistungen urbaner Freiräume : Förderprogramm: Leitinitiative Zukunftsstadt : Schwerpunkt: Klimaresilienz durch Handeln in Stadt und Region : Projektlaufzeit: 1. Oktober 2017 bis 31. Januar 2021 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Leibniz-Institut für ökologische Raumentwicklung e.V. Dresden (IÖR), Juli 2021 Saxon Bibliography (Sächsische Bibliografie) Brzoska, Christoph [Author] An approach to goal driven strategies for the Knuth-Bendix completion procedure Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/255289 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Der Templog-Kalkuel ist eine Instanz des CLP-Schema Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/270490 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Temporal logic programming and its relation to constraint logic programming Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/122391 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Temporal logic programming and its relation to constraint logic programming Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/238390 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Temporal logic programming based on CLP Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/203492 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Temporal logic programming in dense time Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/270695 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Temporal logic programming with bounded universal modality goals Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/106093 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Temporal logic programming with bounded universal modality goals Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/299493 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Temporal logic programming with metric and past operators Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/106193 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Temporal logic programming with metric and past operators Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/271395 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Temporal logic programming with metric and past operators based on constraint logic programming Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/19693 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Temporal logic programming, a survey Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/207989 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Untersuchung von Strategien fuer den Knuth- Bendix-Vervollstaendigungsalgorithmus Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/255189 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Brzoska, Christoph [Author] Temporal-logisches Programmieren Thesis View online Schließen > Links https://publikationen.bibliothek.kit.edu/56694 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KIT-Bibliothek, Karlsruhe, 1994-01-01 Steimann, F. [Author]; Brzoska, Christoph [Author] Dependency unification grammar for PROLOG Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/271295 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Temporal logic programming with metric and past operators based on constraint logic programming Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: Univ., Fak. für Informatik, 1993 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,2
Brzoska, Christoph [Author] Temporal logic programming : a survey Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: Univ., Fak. für Informatik, 1989 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,22
Brzoska, Christoph [Author] Temporal logic programming and its relation to constraint logic programming Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: Univ., Fak. für Informatik, 1990 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 90,36
Brzoska, Christoph [Author]; Schäfer, Karl [Author] LIMETTE : logic programming integrating metric temporal extensions ; an extension of KA-Prolog for temporal reasoning ; language specification user manual Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: Univ., Fak. für Informatik, 1993 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,9
Schiela, David [Author]; Brzoska, Patrycia [Author]; Schünemann, Christoph [Author]; Westermann, Janneke [Author]; Grunewald, Karsten [Author]; Ortlepp, Regine [Author] ; Leibniz-Institut für Ökologische Raumentwicklung HeatResilientCity - Hitzeresiliente Stadt- und Quartiersentwicklung in Großstädten - Bewohnerorientierte Wissensgenerierung und Umsetzung in Dresden und Erfurt : Schlussbericht des Verbundvorhabens HeatResilientCity : Teilprojekt 1: Gesamtkoordination, baukonstruktive Anpassung hitzesensitiver Gebäude sowie Bewertung klimatischer Ökosystemleistungen urbaner Freiräume : Förderprogramm: Leitinitiative Zukunftsstadt : Schwerpunkt: Klimaresilienz durch Handeln in Stadt und Region : Projektlaufzeit: 1. Oktober 2017 bis 31. Januar 2021 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Leibniz-Institut für ökologische Raumentwicklung e.V. Dresden (IÖR), Juli 2021 Saxon Bibliography (Sächsische Bibliografie)
Brzoska, Christoph [Author] An approach to goal driven strategies for the Knuth-Bendix completion procedure Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/255289 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Der Templog-Kalkuel ist eine Instanz des CLP-Schema Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/270490 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Temporal logic programming and its relation to constraint logic programming Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/122391 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Temporal logic programming and its relation to constraint logic programming Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/238390 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Temporal logic programming based on CLP Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/203492 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Temporal logic programming in dense time Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/270695 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Temporal logic programming with bounded universal modality goals Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/106093 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Temporal logic programming with bounded universal modality goals Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/299493 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Temporal logic programming with metric and past operators Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/106193 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Temporal logic programming with metric and past operators Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/271395 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Temporal logic programming with metric and past operators based on constraint logic programming Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/19693 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Temporal logic programming, a survey Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/207989 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Untersuchung von Strategien fuer den Knuth- Bendix-Vervollstaendigungsalgorithmus Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/255189 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Brzoska, Christoph [Author] Temporal-logisches Programmieren Thesis View online Schließen > Links https://publikationen.bibliothek.kit.edu/56694 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KIT-Bibliothek, Karlsruhe, 1994-01-01
Steimann, F. [Author]; Brzoska, Christoph [Author] Dependency unification grammar for PROLOG Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/271295 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
> Media type Skip to next facet Articles (26) Wert ausschließen Books (14) Wert ausschließen Thesis (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (4) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (9) Wert ausschließen Without Specification (27) Wert ausschließen Show more show less
> Language Skip to next facet English (25) Wert ausschließen German (13) Wert ausschließen Not determined (3) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (26) Wert ausschließen Geography (5) Wert ausschließen Biology (4) Wert ausschließen Medicine (4) Wert ausschließen Chemistry and pharmacology (2) Wert ausschließen Geology and paleontology (1) Wert ausschließen Technology (1) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Brzoska, Christoph (29) Wert ausschließen Brzoska, Patrycia (5) Wert ausschließen Grunewald, Karsten (5) Wert ausschließen Schünemann, Christoph (5) Wert ausschließen Brzoska, Thomas (4) Wert ausschließen Ortlepp, Regine (4) Wert ausschließen Westermann, Janneke (4) Wert ausschließen Abels, Christoph (3) Wert ausschließen Bockmayr, Alexander (3) Wert ausschließen Leibniz-Institut für Ökologische Raumentwicklung (3) Wert ausschließen Schiela, David (3) Wert ausschließen Varsek, Igor (3) Wert ausschließen Ziemann, Astrid (3) Wert ausschließen Baldin, Marie-Luise (2) Wert ausschließen Betz, Christoph (2) Wert ausschließen Bolsius, Jens (2) Wert ausschließen Brzoska, Martin (2) Wert ausschließen Geiger, Helmut (2) Wert ausschließen Goldberg, Valeri (2) Wert ausschließen Großmann, Lena (2) Wert ausschließen Kunze, Stefanie (2) Wert ausschließen Luger, Thomas A. (2) Wert ausschließen Moderow, Uta (2) Wert ausschließen Naumann, Thomas (2) Wert ausschließen Rath, Hans Holger (2) Wert ausschließen Reinfried, Franziska (2) Wert ausschließen Schaefer, Karl (2) Wert ausschließen Scharnhorst, Carlo (2) Wert ausschließen Schiele, Bernt (2) Wert ausschließen Spohr, Guido (2) Wert ausschließen Albus, Christian (1) Wert ausschließen Ansel, John C. (1) Wert ausschließen Asbe-Vollkopf, Aida (1) Wert ausschließen Baur, Markus (1) Wert ausschließen Benzer, Werner (1) Wert ausschließen Biere, Armin (1) Wert ausschließen Bjarnason-Wehrens, Birna (1) Wert ausschließen Bodó, Enikő (1) Wert ausschließen Böhm, Markus (1) Wert ausschließen Brzoska, Patrick (1) Wert ausschließen Brüggemann, Kurt (1) Wert ausschließen Buddenkotte, Jörg (1) Wert ausschließen Buhr-Schinner, Heike (1) Wert ausschließen Bunnett, Nigel W. (1) Wert ausschließen Bönner, Gerd (1) Wert ausschließen Büttner, Stefan (1) Wert ausschließen Charrier, Albrecht (1) Wert ausschließen Cordes, Carsten (1) Wert ausschließen Deussen, Peter (1) Wert ausschließen Dresden Umweltamt (1) Wert ausschließen Dörr, Gesine (1) Wert ausschließen Ehnert, Franziska (1) Wert ausschließen Eichler, Sarah (1) Wert ausschließen Eisenbahner-Wohnungsbaugenossenschaft Dresden (1) Wert ausschließen Erfurt Umwelt- und Naturschutzamt (1) Wert ausschließen Exner, Anne-Kathrin (1) Wert ausschließen Fachhochschule Erfurt Institut für Stadtforschung, Planung und Kommunikation (1) Wert ausschließen Fischer, Matthias (1) Wert ausschließen Fromm, Bernd (1) Wert ausschließen Fügener, Till (1) Wert ausschließen Gauer, Stefan (1) Wert ausschließen Gielen, Stephan (1) Wert ausschließen Glanz, Dagobert (1) Wert ausschließen Glatz, Johannes (1) Wert ausschließen Gohlke, Helmut (1) Wert ausschließen Grilli, Maurizio (1) Wert ausschließen Gysan, Detlef (1) Wert ausschließen Hahmann, Harry (1) Wert ausschließen Hauser, Ingeborg A. (1) Wert ausschließen Heinz, Ernst (1) Wert ausschließen Herrmann, Eva (1) Wert ausschließen Herrmann-Lingen, Christoph (1) Wert ausschließen Hintermeier, Claus (1) Wert ausschließen Hochschule für Technik und Wirtschaft Dresden (1) Wert ausschließen Holschuh, Lisa (1) Wert ausschließen Härtel, Ursula (1) Wert ausschließen Jensen, Katrin (1) Wert ausschließen Karger, Gabriele (1) Wert ausschließen Karoff, Marthin (1) Wert ausschließen Kiwus, Ulrich (1) Wert ausschließen Knoglinger, Ernst (1) Wert ausschließen Krause, Manuela (1) Wert ausschließen Krusch, Christian-Wolfgang (1) Wert ausschließen Köhler, Stefanie (1) Wert ausschließen Langheim, Eike (1) Wert ausschließen Lindenberg, Norbert (1) Wert ausschließen Lukowicz, Paul (1) Wert ausschließen Maaser, Christian (1) Wert ausschließen Mann, Johannes (1) Wert ausschließen Maul, Lisa (1) Wert ausschließen Max, Regina (1) Wert ausschließen Meng, Karin (1) Wert ausschließen Metz, Matthes (1) Wert ausschließen Metzendorf, Maria-Inti (1) Wert ausschließen Nagel, Hans-Hellmut (1) Wert ausschließen Naumann, Viktoria (1) Wert ausschließen Nebel, Roland (1) Wert ausschließen Neidecker, Burkhard (1) Wert ausschließen Niebauer, Josef (1) Wert ausschließen Ohnemus, Ulrich (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (22) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (22) Wert ausschließen Verbunddaten SWB (7) Wert ausschließen Elsevier BV (CrossRef) (3) Wert ausschließen Lizenzfreie Online-Ressourcen (2) Wert ausschließen Wiley (CrossRef) (2) Wert ausschließen Frontiers Media SA (CrossRef) (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen Oekom Publishers GmbH (CrossRef) (1) Wert ausschließen Pensoft Publishers (CrossRef) (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (1) Wert ausschließen Sächsische Bibliografie (1) Wert ausschließen The Endocrine Society (CrossRef) (1) Wert ausschließen Show more show less
Saxon Bibliography (Sächsische Bibliografie)