Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Stolzenburg, Frieder

Membership-constraints and complexity in logic programming with sets

Koblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 13/95)


Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder

Model Elimination, Logic Programming and Computing Answers

Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1995 S. 1 - 31 (Fachberichte Informatik ; 1/95)


Troitzsch, Klaus G.; Troitzsch, K. G.; Kuokkanen, Martti

Modelling, Simulation, and Structuralism

Kuokkanen, Martti (Hrsg). Idealization VII: Structuralism, Idealization and Approximation. Amsterdam: Rodopi 1995 S. 159-177


Levy, Philippa; Fowell, Susan P.

Networked Learning in LIS Education and Training

1995 S. 21 - 22


Priese, Lutz; Wimmel, Harro

On some compositional Petri net semantics

Koblenz-Landau: Univ., Inst. f. Informatik 1995 31 S. (Fachberichte Informatik ; 20/95)


Paulus, Dietrich; Hornegger, Joachim

Pattern Recognition and Image Processing in C++

Braunschweig: Vieweg 1995


Garcia, Francisco; Mauthe, Andreas; Yeadon, Nicholas et al.

QoS Support for Video and Audio Multipeer Communications

1995 S. 1 - 13



Dix, Jürgen; Gottlob, Georg; Marek, V. Wiktor

Reducing disjunctive to non-disjunctive semantics by shift-operations

Koblenz-Landau: Univ., Inst. f. Informatik 1995 17 S. (Fachberichte Informatik ; 18/95)


Winand, Udo; von Kortzfleisch, Harald; Musshoff, H. J.

Regionale Disparitäten und Kommunikations-Hochleistungs-Infrastrukturen

Kassel: Universität Kassel 1995