Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 141 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Perspektiven der Forschung und ihrer Förderung DFG, Deutsche Forschungsgemeinschaft von
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Periodika
Sprache: Deutsch Verlag: Weinheim Wiley-VCH 1987-2008
Weitere Titel:
  • Zusatz bis 11.2002/06: Aufgaben und Finanzierung
Verfügbarkeit: Keine Exemplare verfügbar.
Zum Korb hinzufügen
2.
Another technique for proving completeness of resolution Rolf Socher-Ambrosius von Reihen: ; 89,5 | SEKI-Report ; 89,5
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 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) SEKI SR-1989-05.
Vormerken Zum Korb hinzufügen
3.
On the solvability of equational problems H.-J. Bürckert & M. Schmidt-Schauß von Reihen: ; 89,7 | SEKI-Report ; 89,7
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 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) SEKI SR-1989-07.
Vormerken Zum Korb hinzufügen
4.
Context logic Hans Jürgen Ohlbach von Reihen: ; 89,8 | SEKI-Report ; 89,8
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 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) SEKI SR-1989-08.
Vormerken Zum Korb hinzufügen
5.
Knowledge acquisition in the domain of CNC machining centers: the Moltke approach K.-D. Althoff et al von Reihen: ; 89,9 | SEKI-Report ; 89,9
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 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) SEKI SR-1989-09.
Vormerken Zum Korb hinzufügen
6.
Elimination of redundancies in clause sets and clause graphs N. Eisinger; H. J. Ohlbach; A. Präcklein von Reihen: ; 89,10 | SEKI-Report ; 89,10
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 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) SEKI SR-1989-10.
Vormerken Zum Korb hinzufügen
7.
Some aspects of analogy in mathematical reasoning Manfred Kerber von Reihen: ; 89,12 | SEKI-Report ; 89,12
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 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) SEKI SR-1989-12.
Vormerken Zum Korb hinzufügen
8.
Proving termination of associative-commutative rewriting systems using the Knuth-Bendix ordering Joachim Steinbach von Reihen: ; 89,13 | SEKI-Report ; 89,13
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 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) SEKI SR-1989-13.
Vormerken Zum Korb hinzufügen
9.
Inductive theorem proving using refined unfailing completion techniques Bernhard Gramlich von Reihen: ; 89,14 | SEKI-Report ; 89,14
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 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) SEKI SR-1989-14.
Vormerken Zum Korb hinzufügen
10.
Boolean algebra admits no convergent term rewriting system Rolf Socher-Ambrosius von Reihen: ; 90,6 | SEKI-Report ; 90,6
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 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) SEKI SR-1990-06.
Vormerken Zum Korb hinzufügen
11.
Solving equality reasoning problems with a connection graph theorem prover Axel Präcklein von Reihen: ; 90,7 | SEKI-Report ; 90,7
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 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) SEKI SR-1990-07.
Vormerken Zum Korb hinzufügen
12.
Dynamic features of topographical multiset orderings for terms Roland Fettig; Jürgen Müller; Joachim Steinbach von Reihen: ; 90,8 | SEKI-Report ; 90,8
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 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) SEKI SR-1990-08.
Vormerken Zum Korb hinzufügen
13.
Semantics based translation methods for modal logics H. J. Ohlbach. Deutsche Forschungsgemeinschaft, Bonn von Reihen: ; 90,11 | SEKI-Report ; 1990011
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 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) SEKI SR-1990-11.
Vormerken Zum Korb hinzufügen
14.
Similarity, uncertainty and case-based reasoning in PADTEX Michael M. Richter; Stefan Weß. Fachbereich Informatik, Universität Kaiserslautern; Deutsche Forschungsgemeinschaft, Bonn von Reihen: ; 91,1 | SEKI-Report ; 1991001
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 1991
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) SEKI SR-1991-01.
Vormerken Zum Korb hinzufügen
15.
Useful properties of a frame-based representation of mathematical knowledge Manfred Kerber. Deutsche Forschungsgemeinschaft, Bonn von Reihen: ; 91,6 | SEKI-Report ; 1991006
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 1991
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) SEKI SR-1991-06.
Vormerken Zum Korb hinzufügen
16.
Case-based reasoning and expert system development Klaus-Dieter Althoff; Stefan Weß. Deutsche Forschungsgemeinschaft, Bonn von Reihen: ; 91,16 | SEKI-Report ; 1991016
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 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) SEKI SR-1991-16.
Vormerken Zum Korb hinzufügen
17.
HyperCake a knowledge acquisition tool for hypermedia-based expert systems Frank Maurer. Deutsche Forschungsgemeinschaft, Bonn von Reihen: ; 92,4 | SEKI-Report ; 1992004
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. Kaiserslautern 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) SEKI SR-1992-04.
Vormerken Zum Korb hinzufügen
18.
(A)TMS in expert systems Jürgen Paulokat (ed.) von Reihen: ; 92,6 | SEKI-Report ; 1992006
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 1992
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) SEKI SR-1992-06.
Vormerken Zum Korb hinzufügen
19.
Data structures and efficient algorithms final report on the DFG special joint initiative B. Monien ... (eds.) von Reihen: ; 59400 | Lecture notes in computer science ; 594
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1992
Weitere Titel:
  • Datenstrukturen und effiziente Algorithmen
  • Datenstrukturen und effiziente Algorithmen
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 594.
Vormerken Zum Korb hinzufügen
20.
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha