Ergebnisse der Suche nach 'ccl=Provider:Infix' › Campusbibliothek für Informatik und Mathematik

Ergebnisse
	81.	Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution Michael Thielscher von Thielscher, Michael [aut] Reihen: ; 76 \| Dissertationen zur künstlichen Intelligenz ; 76 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Darmstadt, Techn. Hochsch., Diss., 1994 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 76 2.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	82.	Problemzerlegung durch Nadelöhrmengen ein modellbasierter Ansatz zur Akquisition von Kontrollwissen für Planungssysteme von Friedrich Mädler von Mädler, Friedrich [aut] Reihen: ; 74 \| Dissertationen zur künstlichen Intelligenz ; 74 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1994 Hochschulschriftenvermerk: Zugl.: Osnabrück, Univ., Diss., 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) DISKI 74. Vormerken Zum Korb hinzufügen (Entfernen)
	83.	Automatische Erzeugung dreidimensionaler Modelle für Bildanalysesysteme Andreas Winzen von Winzen, Andreas [aut] Reihen: ; 89 \| Dissertationen zur künstlichen Intelligenz ; 89 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Erlangen, Nürnberg, Univ., Diss., 1995 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) DISKI 89. Vormerken Zum Korb hinzufügen (Entfernen)
	84.	Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen Jürgen Giesl von Giesl, Jürgen [aut] Reihen: ; 96 \| Dissertationen zur künstlichen Intelligenz ; 96 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Darmstadt, Techn. Hochsch., Diss., 1995 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) DISKI 96. Vormerken Zum Korb hinzufügen (Entfernen)
	85.	Incremental partial deduction Thomas Hoppe von Hoppe, Thomas [aut] Reihen: ; 97 \| Dissertationen zur künstlichen Intelligenz ; 97 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Dortmund, Univ., Diss., 1995 Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): only use on site (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 97. Zum Korb hinzufügen (Entfernen)
	86.	Parallelverarbeitung in einem semantischen Netzwerk für die wissensbasierte Musteranalyse Volker Fischer von Fischer, Volker [aut] Reihen: ; 95 \| Dissertationen zur künstlichen Intelligenz ; 95 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Erlangen, Nürnberg, Univ., Diss., 1995 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) DISKI 95. Vormerken Zum Korb hinzufügen (Entfernen)
	87.	Adaptive Steuerungen Fuzzy Control im Vergleich zu Regelungstechnik und neuronalen Netzen Matthias Stüber von Stüber, Matthias [aut] Reihen: ; 94 \| Dissertationen zur künstlichen Intelligenz ; 94 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Bonn, Univ., Diss., 1995 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) DISKI 94. Vormerken Zum Korb hinzufügen (Entfernen)
	88.	Konfigurierbare Problemlösungsmethoden am Beispiel der Problemklassen Zuordnung und Diagnostik Karsten Poeck von Poeck, Karsten [aut] Reihen: ; 86 \| Dissertationen zur künstlichen Intelligenz ; 86 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Würzburg, Univ., Diss., 1995 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) DISKI 86. Vormerken Zum Korb hinzufügen (Entfernen)
	89.	Modellierung und Manipulation von Bild- und Grafikdaten mit neuronalen Netzen Stefan Jockusch von Jockusch, Stefan [aut] Reihen: ; 92 \| Dissertationen zur künstlichen Intelligenz ; 92 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Bielefeld, Univ., Diss., 1995 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) DISKI 92. Vormerken Zum Korb hinzufügen (Entfernen)
	90.	SESAME - ein objekt- und datenflußorientierter Simulator für Modelle der Neuroinformatik und angrenzender Gebiete Alexander Linden von Linden, Alexander [aut] Reihen: ; 93 \| Dissertationen zur künstlichen Intelligenz ; 93 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Bielefeld, Univ., Diss., 1995 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) DISKI 93. Vormerken Zum Korb hinzufügen (Entfernen)
	91.	Unscharfes Schließen Joachim Weisbrod von Weisbrod, Joachim [aut] Reihen: ; 117 \| Dissertationen zur künstlichen Intelligenz ; 117 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1996 Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1995 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) DISKI 117. Vormerken Zum Korb hinzufügen (Entfernen)
	92.	Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation Klaus Schneider von Schneider, Klaus [aut] Reihen: ; 116 \| Dissertationen zur künstlichen Intelligenz ; 116 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1996 Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1995 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) DISKI 116. Vormerken Zum Korb hinzufügen (Entfernen)
	93.	Reaktive Einsatzplanung eines mobilen Zweiarm-Roboters für asynchrone Serviceaufgaben in einer industriellen Fertigungsumgebung Xiaoqing Cheng von Cheng, Xiaoqing [aut] Reihen: ; 114 \| Dissertationen zur künstlichen Intelligenz ; 114 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1996 Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1995 Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): only use on site (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 114. Zum Korb hinzufügen (Entfernen)
	94.	Ein Multi-Agentensystem zur Transportplanung und -steuerung bei Speditionen mit Trampverkehr Entwicklung und Vergleich mit zentralisierten Methoden und menschlichen Disponenten Jürgen Falk von Falk, Jürgen [aut] Reihen: ; 102 \| Dissertationen zur künstlichen Intelligenz ; 102 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Erlangen, Nürnberg, Univ., Diss., 1995 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Ein Multi-Agentensystem zur Transportplanung und -steuerung bei Speditionen mit Trampverkehr Inhaltsverzeichnis 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) DISKI 102. Vormerken Zum Korb hinzufügen (Entfernen)
	95.	Graphembasierte On-line-Erkennung fließender Handschrift Volkmar Pflug von Pflug, Volkmar [aut] Reihen: ; 105 \| Dissertationen zur künstlichen Intelligenz ; 105 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: München, Techn. Univ., Diss., 1995 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) DISKI 105. Vormerken Zum Korb hinzufügen (Entfernen)
	96.	Integration von Spracherkennung und Sprachverstehen Gernot A. Fink von Fink, Gernot A [aut] Reihen: ; 103 \| Dissertationen zur künstlichen Intelligenz ; 103 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Bielefeld, Univ., Diss., 1995 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) DISKI 103. Vormerken Zum Korb hinzufügen (Entfernen)
	97.	Automatische Erkennung und Ausführung von Korrekturanweisungen in Textdokumenten Daniel Möri von Möri, Daniel [aut] Reihen: ; 107 \| Dissertationen zur künstlichen Intelligenz ; 107 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Bern, Univ., Diss., 1995 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) DISKI 107. Vormerken Zum Korb hinzufügen (Entfernen)
	98.	Simulierte Gestalt-Erkennung in Präsentationsgrafiken Erich Rome von Rome, Erich [aut] Reihen: ; 99 \| Dissertationen zur künstlichen Intelligenz ; 99 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1995 Hochschulschriftenvermerk: Zugl.: Bremen, Univ., Diss., 1995 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) DISKI 99. Vormerken Zum Korb hinzufügen (Entfernen)
	99.	Planen und Konfigurieren 96 Beiträge zum 10. Workshop "Planen und Konfigurieren" (PuK-96), 15. - 17. April 1996 Bonn Jürgen Sauer ... (Hrsg.) von Sauer, Jürgen, 1959- [Hrsg.] Workshop Planen und Konfigurieren 10 1996 Bonn [oth] Reihen: ; 3 \| Proceedings in artificial intelligence ; 3 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1996 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis kostenfrei Inhaltsverzeichnis 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) PuK 1996 10. Vormerken Zum Korb hinzufügen (Entfernen)
	100.	Modularisierung und Fokussierung erweiterbarer komplexer Wissensbasen auf der Basis von Kompetenzeinheiten Barbara Heller von Heller, Barbara [aut] Reihen: ; 120 \| Dissertationen zur künstlichen Intelligenz ; 120 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1996 Hochschulschriftenvermerk: Zugl.: Bielefeld, Univ., Diss., 1995 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) DISKI 120. Vormerken Zum Korb hinzufügen (Entfernen)

Präzisieren Sie die Suche

Verfügbarkeit

Verfasser

Sammlungen

Aktuelle Bibliotheken

Medientypen

Standorte

Reihen

Themen

Ihre Suche erzielte 237 Treffer.