Ihre Suche erzielte 12 Treffer.

Ergebnisse
	1.	Conference on Automated Deduction 5 Les Arcs, France, July 8 - 11, 1980 / ed. by W. Bibel .. von Bibel, Wolfgang [oth] Conference on Automated Deduction 5 1980 Les Arcs [oth] Reihen: ; 87 \| Lecture notes in computer science ; 87 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: 1980 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 87. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Künstliche Intelligenz 1982 Frühjahrsschule, Teisendorf, 15. - 24. März 1982 / hrsg. von Wolfgang Bibel ... von Bibel, Wolfgang [Hrsg.] Frühjahrsschule Künstliche Intelligenz 1 1982 Teisendorf [oth] Reihen: ; 59 \| Informatik-Fachberichte ; 59 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1982 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 59 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Artificial intelligence [1] Varna, Bulgaria, 17 - 20 Sept. 1984 von Bibel, Wolfgang [oth] International Conference on Artificial Intelligence: Methodology, Systems, Applications 1 1984 Warna [oth] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: 1984 Weitere Titel: AIMSA '84 Verfügbarkeit: Keine Exemplare verfügbar. Zum Korb hinzufügen (Entfernen)
	4.	Ausgezeichnete Informatikdissertationen 1996 im Auftr. der GI hrsg. durch den Nominierungsausschuß. Wolfgang Bibel ... von Bibel, Wolfgang [Hrsg.] Gesellschaft für Informatik Nominierungsausschuß für den GI-Dissertationspreis [oth] Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Stuttgart Teubner 1998 Online-Ressourcen: Cover Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNI D-0 2.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Ausgezeichnete Informatikdissertationen 1997 Wolfgang Bibel ... - 1998 von Bibel, Wolfgang [oth] Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: 1998 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) GI n 1998:2 1.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Deduktion Automatisierung der Logik von Wolfgang Bibel von Bibel, Wolfgang [aut] Reihen: ; 6,2 \| Handbuch der Informatik. 6. Künstliche Intelligenz ; 2 ; 6,2 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: München [u.a.] Oldenbourg 1992 Online-Ressourcen: Inhaltsverzeichnis Zentralblatt MATH Inhaltstext 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) BIB w 1992:1 1.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	7.	Deduction 24.02. - 28.02.97 (9709) Wolfgang Bibel ... (eds.) von Bibel, Wolfgang [Hrsg.] Internationales Begegnungs- und Forschungszentrum für Informatik [oth] Seminar on Deduction 1997 Dagstuhl [oth] Reihen: ; 170 \| Dagstuhl-Seminar-Report ; 170 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1997 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 170. Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Deduction 08.03. - 12.03.93 [Dagstuhl Seminar on Deduction]. Wolfgang Bibel ... (ed.). [Schloss Dagstuhl, Internationales Begegnungs- und Forschungszentrum für Informatik] von Bibel, Wolfgang [Hrsg.] Internationales Begegnungs- und Forschungszentrum für Informatik [oth] Seminar on Deduction 1993 Dagstuhl [oth] Reihen: ; 58 \| Dagstuhl-Seminar-Report ; 58 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl 1993 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) Wadern, Dagstuhl IBFI SR 58. Vormerken Zum Korb hinzufügen (Entfernen)
	9.	Deduction 20.03. - 24.03.95 [Dagstuhl Seminar on Deduction]. Wolfgang Bibel ... (ed.). [Schloss Dagstuhl, Internationales Begegnungs- und Forschungszentrum für Informatik] von Bibel, Wolfgang [oth] Internationales Begegnungs- und Forschungszentrum für Informatik [oth] Seminar on Deduction 1995 Dagstuhl [oth] Reihen: ; 110 \| Dagstuhl-Seminar-Report ; 110 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1995 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) Wadern, Dagstuhl IBFI SR 110. Vormerken Zum Korb hinzufügen (Entfernen)
	10.	Studien- und Forschungsführer Künstliche Intelligenz Gesellschaft für Informatik e.V. [Zsgest. von W. Bibel ...] von Bibel, Wolfgang [Hrsg.] Gesellschaft für Informatik [oth] Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: [Bonn] Ges. für Informatik [circa 1983] 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) REF 14 18 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	11.	Deduction automated logic by Wolfgang Bibel von Bibel, Wolfgang [aut] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: London [u.a.] Academic Press 1993 Online-Ressourcen: 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) BIB w 1993:2 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	12.	Automated deduction a basis for applications ed. by Wolfgang Bibel ... von Bibel, Wolfgang [Hrsg.] Reihen: Applied logic series ; ... Materialtyp: Gesamtaufnahme Sprache: Englisch Verlag: Dordrecht [u.a.] Kluwer 1998- Verfügbarkeit: Keine Exemplare verfügbar. Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha