Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 4319 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
61.
Hierarchical skeletal plan refinement task- and inference structures Otto Kühn; Franz Schmalhofer von Reihen: ; 92,6 | Deutsches Forschungszentrum für Künstliche Intelligenz Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz ; 92,6 |
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 TM-92-06.
Vormerken Zum Korb hinzufügen
62.
Realization of tree adjoining grammars with unification Anne Kilger von Reihen: ; 92,8 | Deutsches Forschungszentrum für Künstliche Intelligenz Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz ; 92,8 |
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 TM-92-08.
Vormerken Zum Korb hinzufügen
63.
Canonical conditional rewrite systems containing extra variables Jürgen Avenhaus; Carlos Loria-Saenz von Reihen: ; 93,3 | SEKI-Report ; 1993003
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachber. Informatik, Univ. Kaiserslautern [1993]
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-1993-03.
Vormerken Zum Korb hinzufügen
64.
The presentation of proofs at the assertion level Xiaorong Huang von Reihen: ; 93,4 | SEKI-Report ; 1993004
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 1993
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-1993-04.
Vormerken Zum Korb hinzufügen
65.
Constructor-based inductive validity in positive/negative-conditional equational specifications Fachbereich Informatik, Universität Kaiserslautern. Claus-Peter Wirth ... von Reihen: ; 93,5 | SEKI-Report ; 1993005
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 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) SEKI SR-1993-05.
Vormerken Zum Korb hinzufügen
66.
Distributing equational theorem proving J. Avenhaus; J. Denzinger von Reihen: ; 93,6 | SEKI-Report ; 1993006
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 1993
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-1993-06.
Vormerken Zum Korb hinzufügen
67.
Change of representation in theorem proving by analogy Erica Melis von Reihen: ; 93,7 | SEKI-Report ; 1993007
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 1993
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-1993-07.
Vormerken Zum Korb hinzufügen
68.
On Gröbner bases in monoid and group rings Klaus Madlener; Birgit Reinert von Reihen: ; 93,8 | SEKI-Report ; 1993008
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 1993
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-1993-08.
Vormerken Zum Korb hinzufügen
69.
Relating innermost, weak, uniform and modular termination of term rewriting systems Bernhard Gramlich von Reihen: ; 93,9 | SEKI-Report ; 1993009
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 1993
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-1993-09.
Vormerken Zum Korb hinzufügen
70.
Reasoning with assertions and examples Manfred Kerber; Erica Melis; Jörg H. Siekmann von Reihen: ; 93,10 | SEKI-Report ; 1993010
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 1993
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-1993-10.
Vormerken Zum Korb hinzufügen
71.
[Omega]-MKRP a proof development environment Universität des Saarlandes, Fachbereich Informatik. Xiaorong Huang ... von Reihen: ; 92,22 | SEKI-Report ; 1992022
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken 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-22.
Vormerken Zum Korb hinzufügen
72.
Menschengerechte Groupware - Software-ergonomische Gestaltung und partizipative Umsetzung [Workshop des German Chapter of the ACM und des Instituts für Informatik III der Universität Bonn am 20. und 21. September 1993 in Bonn] hrsg. von Anja Hartmann ... von Reihen: ; 42 | Association for Computing Machinery Berichte des German Chapter of the ACM ; 42 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Stuttgart Teubner 1994
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) GCACM 42.
Vormerken Zum Korb hinzufügen
73.
Analogies between proofs a case study Erica Melis von Reihen: ; 93,13 | SEKI-Report ; 1993013
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 1993
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-1993-13.
Vormerken Zum Korb hinzufügen
74.
Unification in an extensional lambda calculus with ordered function sorts and constant overloading Patricia Johann; Michael Kohlhase von Reihen: ; 93,14 | SEKI-Report ; 1993014
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 1993
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-1993-14.
Vormerken Zum Korb hinzufügen
75.
Guiding equational proofs by attribute functions Jürgen Cleve; Dieter Hutter von Reihen: ; 93,15 | SEKI-Report ; 1993015
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 1993
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-1993-15.
Vormerken Zum Korb hinzufügen
76.
A combinator-based order-sorted higher-order unification algorithm Patricia Johann von Reihen: ; 93,16 | SEKI-Report ; 1993016
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 1993
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-1993-16.
Vormerken Zum Korb hinzufügen
77.
New abstract criteria for termination and confluence of conditional rewrite systems Bernhard Gramlich von Reihen: ; 93,17 | SEKI-Report ; 1993017
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 1993
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-1993-17.
Vormerken Zum Korb hinzufügen
78.
On the complexity of simplification orderings Joachim Steinbach von Reihen: ; 93,18 | SEKI-Report ; 1993018
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 1993
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-1993-18.
Vormerken Zum Korb hinzufügen
79.
A mechanization of strong Kleene logic for partial functions Manfred Kerber and Michael Kohlhase von Reihen: ; 93,20 | SEKI-Report ; 1993020
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Fachbereich Informatik, Univ. des Saarlandes 1993
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-1993-20.
Vormerken Zum Korb hinzufügen
80.
Über Berechenbarkeit fraktaler Strukturen von Günter Hotz von Reihen: ; 199401 | Akademie der Wissenschaften und der Literatur Mainz Abhandlungen der Mathematisch-Naturwissenschaftlichen Klasse ; 1994,1 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Stuttgart Steiner 1994
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) HOT g 1994:1 1.Ex.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha