Campusbibliothek

Ihre Suche erzielte 17 Treffer.

Sortieren
Ergebnisse
1.
Reasoning and revision in hybrid representation systems Bernhard Nebel von Reihen: ; 422 | Lecture notes in computer science ; 422
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1990
Hochschulschriftenvermerk: Teilw. zugl.: Saarbrücken, Univ., Diss., 1989
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 422.
2.
Foundations of knowledge representation and reasoning Gerhard Lakemeyer, Bernhard Nebel (eds.) von Reihen: ; 810 | Lecture notes in computer science ; 810
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 810.
3.
Advances in artificial intelligence proceedings KI-94, 18th German Annual Conference on Artificial Intelligence Saarbrücken, Germany, September 18 - 23, 1994 / Bernhard Nebel ... (eds.) von Reihen: ; 861 | Lecture notes in computer science ; 861
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994
Weitere Titel:
  • KI-94
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 861.
4.
KI-97: Advances in Artificial Intelligence 21st Annual German Conference on Artificial Intelligence Freiburg, Germany, September 9-12, 1997 Proceedings Gerhard Brewka, Christopher Habel, Bernhard Nebel (eds.) von Reihen: ; 1303 | Lecture notes in computer science ; 1303
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1997
Weitere Titel:
  • KI-97
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 1303. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
5.
Solving hard qualitative temporal reasoning problems: evaluating the efficiency of using the ORD-Horn class Bernhard Nebel von Reihen: ; 96,02 | Ulmer Informatik-Berichte ; 96,02
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Ulm Univ., Fak. für Informatik 1996
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Ulm UNI INF Nr. 96-02.
6.
Reasoning about temporal relations a maximal tractable subset of Allen's interval algebra Bernhard Nebel; Hans-Jürgen Bürckert von Reihen: ; 93,11 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199311 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern DFKI 1993
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-93-11.
7.
Plan reuse versus plan generation a theoretical and empirical analysis Bernhard Nebel; Jana Koehler von Reihen: ; 199333 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199333 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Saarbrücken DFKI 1993
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-93-33.
8.
International Workshop on Terminological logics 6.5 - 18.5.1991 (9119) Bernhard Nebel ... (eds.) von Reihen: ; 12 | Dagstuhl-Seminar-Report ; 12
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl 1991
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 12.
9.
Belief revision and default reasoning syntax-based approaches Bernhard Nebel von Reihen: ; 91,11 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199111 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern DFKI 1991
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-91-11.
10.
Attributive description formalisms and the rest of the world Bernhard Nebel and Gert Smolka von Reihen: ; 91,15 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199115 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern DFKI 1991
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-91-15.
11.
On the computational complexity of temporal projection and some related problems Bernhard Nebel and Christer Bäckström von Reihen: ; 91,34 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199134 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserlautern Saarbrücken DFKI 1991
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-91-34.
12.
Plan modification versus plan generation a complexity-theoretic perspective Bernhard Nebel; Jana Koehler von Reihen: ; 92,48 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 92,48 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern [u.a.] 1992
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-92-48.
13.
International Workshop on Terminological Logics Schloß Dagstuhl, May 6 - 8, 1991 organizers: Bernhard Nebel ... von Reihen: ; 91,13 | Deutsches Forschungszentrum für Künstliche Intelligenz Document / Deutsches Forschungszentrum für Künstliche Intelligenz ; 91,13 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern [u.a.] 1991
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI Document D-91-13.
14.
Spatial cognition IX international conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014 ; proceedings Christian Freksa ... (eds.) von Reihen: ; 868400 | Lecture notes in computer science ; 8684
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham [u.a.] Springer 2014
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 8684.
15.
Reasoning and revision in hybrid representation systems von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: 1989
Hochschulschriftenvermerk: Saarbrücken, Univ., Diss., 1989
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) 1989 Nebel, Bernhard. Nicht verfügbar: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): restricted use (1).
16.
Principles of knowledge representation and reasoning proceedings of the third international conference (KR '92) ed. by Bernhard Nebel ... von Reihen: The Morgan Kaufmann series in representation and reasoning
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: San Mateo, California Morgan Kaufmann 1992
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) KR 1992 3.
17.
Seiten

Impressum

Datenschutzhinweise

Powered by Koha