UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 75

Sortiert nach

Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion

Europäische Hochschulschriften : Reihe 41 : 6 (Alle Bände)

Li, Wanlin

1991

Signatur: M5753

Potentiale der Informationstechnik : state-of-the-art und Trends aus Anwendungssicht

Informatik und Unternehmensführung

Steinbock, Hans-Joachim

1994

Signatur: TZT2959

Abschätzung der Fehlzugriffe bei dünn besetzten Matrixoperationen auf Architekturen mit einem direct mapped Cache

Scholtes, Carsten

2003

Signatur: D13906

Graphgrammatiken in der Softwaretechnik : Theorie u. Anwendungen

Informatik-Fachberichte : 178 (Alle Bände)

Göttler, Herbert

1988

Signatur: TVM2217

Systematischer Entwurf und Implementierung einer suchvollständigen Logikprogrammiersprache mit einfacher Termstruktur

Korthauer, Edgar

1991

Signatur: D6325

Das Einführen neuer Prädikate in der Induktiven Logischen Programmierung

Stahl, Irene

1995

Signatur: D10353

Property testing and geometry [Elektronische Ressource]

Sohler, Christian

2002

Link zum Volltext
Volltext

Generierung natürlicher Sprache mit generalisierten Phrasenstruktur-Grammatiken

Informatik-Fachberichte : 313 (Alle Bände)

Busemann, Stephan

1992

Signatur: TVM2835

Intercalation theorems for pushdown store and stack languages

Ogden, William F

1979

Signatur: TVM1619

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Informatik-Fachberichte : 199 (Alle Bände)

Beckstein, Clemens

1988

Signatur: TVM2225

Communication complexity : a new approach to circuit depth

ACM doctoral dissertation awards : 1988 (Alle Bände)

Karchmer, Mauricio

1989

Signatur: TVM2623

Flottenzuweisung in der Flugplanung : Modelle, Komplexität und Lösungsverfahren [Elektronische Ressource]

Grothklags, Sven

2006

Link zum Volltext
Volltext

Efficient collision detection for point and polygon based models [Elektronische Ressource]

Klein, Jan

2005

Link zum Volltext
Volltext

Using hard problems to create pseudorandom generators

ACM distinguished dissertations

Nisan, Noam

1992

Signatur: TVM2851

Automatische Komplexitätsanalyse funktionaler Programme

Informatik-Fachberichte : 261 (Alle Bände)

Zimmermann, Wolf

1990

Signatur: TVM2518

Logic programming over polymorphically order-sorted types

Smolka, Gert

1989

Signatur: D2127

Selfish routing in networks [Elektronische Ressource]

Gairing, Martin

2006

Link zum Volltext
Volltext

Randomness and Complexity

Wang, Yongge

1996

Signatur: DQ2038

Completeness, confluence, and related properties of clause graph resolution

Eisinger, Norbert

1988

Signatur: D440

Grundlagen offener Sprachen

Europäische Hochschulschriften : Reihe 41, Informatik : 9 (Alle Bände)

Brillowski, Claus

1993

Signatur: TVM3069

Das Parsen von indizierten Sprachen

Willmann-Strodtmann, Martin

1988

Signatur: D1569

Constraint satisfaction in logic programming

Logic programming

Van Hentenryck, Pascal

1989

Signatur: TVM2615

Logische und funktionale Programmierung : Grundlagen einer Kombination

Künstliche Intelligenz

Furbach, Ulrich

1991

Signatur: TVM2607

Controlled conspiracy number search [Elektronische Ressource]

Lorenz, Ulf

2000

Link zum Volltext
Volltext

Spezifikation und Generierung von Übersetzern für Graph-Sprachen durch attributierte Graph-Grammatiken

Reihe Informatik

Schütte, Alois

1987

Signatur: TVM2047

1 – 25 von 75

Suche als RSS-Feed

Aktive Filter

SchlagwortFunktionale Programmierung

Art des InhaltsHochschulschrift (Sonstige)

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(75)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Deutsch
(37)
Englisch
(24)

Systemstelle

TVM
(75)
TVI
(8)
TVU
(4)
TWZ
(3)
TWP
(2)
TWT
(2)
PZY
(1)
QBB
(1)
TVB
(1)
TWB
(1)
TWQ
(1)
TZT
(1)
ZUH
(1)

8 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion

Potentiale der Informationstechnik : state-of-the-art und Trends aus Anwendungssicht

Abschätzung der Fehlzugriffe bei dünn besetzten Matrixoperationen auf Architekturen mit einem direct mapped Cache

Graphgrammatiken in der Softwaretechnik : Theorie u. Anwendungen

Systematischer Entwurf und Implementierung einer suchvollständigen Logikprogrammiersprache mit einfacher Termstruktur

Das Einführen neuer Prädikate in der Induktiven Logischen Programmierung

Property testing and geometry [Elektronische Ressource]

Generierung natürlicher Sprache mit generalisierten Phrasenstruktur-Grammatiken

Intercalation theorems for pushdown store and stack languages

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Communication complexity : a new approach to circuit depth

Flottenzuweisung in der Flugplanung : Modelle, Komplexität und Lösungsverfahren [Elektronische Ressource]

Efficient collision detection for point and polygon based models [Elektronische Ressource]

Using hard problems to create pseudorandom generators

Automatische Komplexitätsanalyse funktionaler Programme

Logic programming over polymorphically order-sorted types

Selfish routing in networks [Elektronische Ressource]

Randomness and Complexity

Completeness, confluence, and related properties of clause graph resolution

Grundlagen offener Sprachen

Das Parsen von indizierten Sprachen

Constraint satisfaction in logic programming

Logische und funktionale Programmierung : Grundlagen einer Kombination

Controlled conspiracy number search [Elektronische Ressource]

Spezifikation und Generierung von Übersetzern für Graph-Sprachen durch attributierte Graph-Grammatiken

Aktive Filter

Suchergebnisse filtern