Campusbibliothek

Ihre Suche erzielte 9 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Automatische Synthese rekursiver Programme als Beweisverfahren Susanne Biundo von Reihen: ; 302 | Informatik-Fachberichte ; 302
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1992
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1989 u.d.T.: Biundo-Stephan, Susanne: Automatische Synthese rekursiver Algorithmen als Beweisverfahren
Weitere Titel:
  • Automatische Synthese rekursiver Algorithmen als Beweisverfahren
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) IFB 302 1.Ex.
Vormerken Zum Korb hinzufügen
2.
KI 2004: advances in artificial intelligence 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20 - 24, 2004; proceedings Susanne Biundo ... (eds.) von Reihen: ; 3238 | Lecture notes in computer science ; 3238
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11318675
Verlag: Berlin Heidelberg [u.a.] Springer 2004
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 3238.
Vormerken Zum Korb hinzufügen
3.
Deductive approaches to plan generation and plan recognition 25.10. - 29.10.93 (9343) Susanne Biundo ... (eds.) von Reihen: ; 77 | Dagstuhl-Seminar-Report ; 77
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloß Dagstuhl 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) Wadern, Dagstuhl IBFI SR 77.
Vormerken Zum Korb hinzufügen
4.
Plan generation using a method of deductive program synthesis Susanne Biundo von Reihen: ; 90,9 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 90,9 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern [u.a.] 1990
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-90-09.
Vormerken Zum Korb hinzufügen
5.
Deductive planning and plan reuse in a command language environment Susanne Biundo; Dietmar Dengler; Jana Koehler von Reihen: ; 92,11 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199211 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern DFKI 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-11.
Vormerken Zum Korb hinzufügen
6.
A new logical framework for deductive planning Werner Stephan, Susanne Biundo von Reihen: ; 92,53 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 92,53 |
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-53.
Vormerken Zum Korb hinzufügen
7.
PuK 95 Beiträge zum 9. Workshop "Planen und Konfigurieren" Susanne Biundo, Wolfgang Tank (Hrsg.) von Reihen: ; 95,1 | Deutsches Forschungszentrum für Künstliche Intelligenz Document / Deutsches Forschungszentrum für Künstliche Intelligenz ; 95,1 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Kaiserslautern Saarbrücken DFKI 1995
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) Saarbrücken DFKI Document D-95-01.
Vormerken Zum Korb hinzufügen
8.
Proceedings / DFKI Workshop on Planning Saarbrücken, February 5, 1992 Susanne Biundo ... (eds.) von Reihen: ; 92,7 | Deutsches Forschungszentrum für Künstliche Intelligenz Document / Deutsches Forschungszentrum für Künstliche Intelligenz ; 92,7 |
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 Document D-92-07.
Vormerken Zum Korb hinzufügen
9.
Existence proofs by induction using methods of program synthesis Susanne Biundo; Frantisek Zboray von Reihen: Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 84,16 | ; 84,16 | Universität Karlsruhe (TH) Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 84,16 | Memo SEKI ; 198416
Materialtyp: Text Text; Format: Druck
Verlag: Karlsruhe 1984
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) SEKI Memo 84/16 IB.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha