Constraints - eine Wissensrepraesentationsform Ueberblick

Restraints in der Kristallstrukturverfeinerung und systematsiche Ueberpruefung von Datenbankstrukturen auf hoehere Symmetrie

Irmer, E.

January 1991

Available from TIB Hannover: DW 6634 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische I...

A uniform framework for constraint satisfaction problems

Guesgen, H.-W.
Hertzberg, J.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD) (Germany)

January 1990

SIGLETIB Hannover: RN 9844(477) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Inform...

Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme

Schwigon, S.
Hofstedt, P. (Technische Univ. Dresden (Germany). Inst. fuer Softwaretechnik I)
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

January 1997

Available from TIB Hannover: RR 7739(97-08)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

CONSTRAINTS: Eine Einfuehrung

Decker, R.
Siemens A.G., Muenchen (Germany)

January 1988

SIGLETIB: RO 8599(8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibli...

Constraint Hierarchien und weiche Constraints. Ein erweiterbarer Ansatz

Grund, W.
IBM Deutschland Informationssysteme GmbH, Heidelberg (Germany). Inst. fuer Logik und Linguistik

January 1996

SIGLEAvailable from TIB Hannover: RR 6689(18)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Konfiguration und Gestaltung mit Constraintsystemen

Brey, M.

January 2003

Available from TIB Hannover: RO 2520(63) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Repraesentation von Constraints und Zielfunktionen

Funke, B.
Technische Hochschule Aachen (Germany). Lehr- und Forschungsgebiet der Unternehmensforschung

January 1994

Available from TIB Hannover: RR 5796(49) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

A functional view on constraints

Guesgen, H.W.
Hertzberg, J.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Angewandte Informationstechnik

January 1987

SIGLETIB: RN 9844 (252) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

SYCON Ein Rahmensystem zur Constraint-Propagierung auf Netzwerken von beliebigen symbolischen Constraints

Fendler, M.
Wichiacz, R.
Saarland Univ., Saarbruecken (Germany). Sonderforschungsbereich 314 Kuenstliche Intelligenz - Wissensbasierte Systeme
Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1985

TIB: RO 4626 (4)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliot...

SYCON - Symbolische Constraint-Propagierung auf Netzwerken Entwurf und Implementierung

Fendler, M.
Wichlacz, R.
Saarland Univ., Saarbruecken (Germany). Sonderforschungsbereich 314 Kuenstliche Intelligenz - Wissensbasierte Systeme

January 1987

TIB Hannover: RO 3552(15) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informations...

Wissensrepraesentation zur Modellierung einer technischen Anlage mit Frames und Constraints

Dobrindt, K.
Hahn-Meitner-Institut Berlin G.m.b.H. (HMI) (Germany). Bereich Datenverarbeitung und Elektronik

January 1992

Available from TIB Hannover: ZA 4746(502) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints ueber endlichen Mengen

Nareyek, A. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Berlin (Germany). Forschungsinstitut fuer Rechnerarchitektur und Softwaretechnik)
GMD - Forschungszentrum Informationstechnik GmbH, St. Augustin (Germany)

January 1998

SIGLEAvailable from TIB Hannover: RR 8957(1998,1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Constraint processing in computer-aided design Proceedings of the AID'94 workshop W9

Hower, W.
Haroud, D.
Ruttkay, Z. (eds.)
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1994

SIGLEAvailable from TIB Hannover: RO 6844(1994,18) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Combination of constraint systems

Kepser, S.

January 1998

Summary in GermanSIGLEAvailable from TIB Hannover: RR 7403(98,118) / FIZ - Fachinformationszzentrum ...

Using constraints in a constructive version of GPSG

Weisweber, W. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik
Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)

January 1988

SIGLEAvailable from TIB Hannover: RO 11(61) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Restraints in der Kristallstrukturverfeinerung und systematsiche Ueberpruefung von Datenbankstrukturen auf hoehere Symmetrie

Irmer, E.

January 1991

Available from TIB Hannover: DW 6634 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische I...

A uniform framework for constraint satisfaction problems

Guesgen, H.-W.
Hertzberg, J.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD) (Germany)

January 1990

SIGLETIB Hannover: RN 9844(477) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Inform...

Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme

Schwigon, S.
Hofstedt, P. (Technische Univ. Dresden (Germany). Inst. fuer Softwaretechnik I)
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

January 1997

Available from TIB Hannover: RR 7739(97-08)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

CONSTRAINTS: Eine Einfuehrung

Decker, R.
Siemens A.G., Muenchen (Germany)

January 1988

SIGLETIB: RO 8599(8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibli...

Constraint Hierarchien und weiche Constraints. Ein erweiterbarer Ansatz

Grund, W.
IBM Deutschland Informationssysteme GmbH, Heidelberg (Germany). Inst. fuer Logik und Linguistik

January 1996

SIGLEAvailable from TIB Hannover: RR 6689(18)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Konfiguration und Gestaltung mit Constraintsystemen

Brey, M.

January 2003

Available from TIB Hannover: RO 2520(63) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Repraesentation von Constraints und Zielfunktionen

Funke, B.
Technische Hochschule Aachen (Germany). Lehr- und Forschungsgebiet der Unternehmensforschung

January 1994

Available from TIB Hannover: RR 5796(49) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

A functional view on constraints

Guesgen, H.W.
Hertzberg, J.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Angewandte Informationstechnik

January 1987

SIGLETIB: RN 9844 (252) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

SYCON Ein Rahmensystem zur Constraint-Propagierung auf Netzwerken von beliebigen symbolischen Constraints

Fendler, M.
Wichiacz, R.
Saarland Univ., Saarbruecken (Germany). Sonderforschungsbereich 314 Kuenstliche Intelligenz - Wissensbasierte Systeme
Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1985

TIB: RO 4626 (4)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliot...

SYCON - Symbolische Constraint-Propagierung auf Netzwerken Entwurf und Implementierung

Fendler, M.
Wichlacz, R.
Saarland Univ., Saarbruecken (Germany). Sonderforschungsbereich 314 Kuenstliche Intelligenz - Wissensbasierte Systeme

January 1987

TIB Hannover: RO 3552(15) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informations...

Wissensrepraesentation zur Modellierung einer technischen Anlage mit Frames und Constraints

Dobrindt, K.
Hahn-Meitner-Institut Berlin G.m.b.H. (HMI) (Germany). Bereich Datenverarbeitung und Elektronik

January 1992

Available from TIB Hannover: ZA 4746(502) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints ueber endlichen Mengen

Nareyek, A. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Berlin (Germany). Forschungsinstitut fuer Rechnerarchitektur und Softwaretechnik)
GMD - Forschungszentrum Informationstechnik GmbH, St. Augustin (Germany)

January 1998

SIGLEAvailable from TIB Hannover: RR 8957(1998,1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Constraint processing in computer-aided design Proceedings of the AID'94 workshop W9

Hower, W.
Haroud, D.
Ruttkay, Z. (eds.)
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1994

SIGLEAvailable from TIB Hannover: RO 6844(1994,18) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Combination of constraint systems

Kepser, S.

January 1998

Summary in GermanSIGLEAvailable from TIB Hannover: RR 7403(98,118) / FIZ - Fachinformationszzentrum ...

Using constraints in a constructive version of GPSG

Weisweber, W. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik
Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)

January 1988

SIGLEAvailable from TIB Hannover: RO 11(61) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Restraints in der Kristallstrukturverfeinerung und systematsiche Ueberpruefung von Datenbankstrukturen auf hoehere Symmetrie

Irmer, E.

January 1991

Available from TIB Hannover: DW 6634 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische I...

A uniform framework for constraint satisfaction problems

Guesgen, H.-W.
Hertzberg, J.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD) (Germany)

January 1990

SIGLETIB Hannover: RN 9844(477) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Inform...

Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme

Schwigon, S.
Hofstedt, P. (Technische Univ. Dresden (Germany). Inst. fuer Softwaretechnik I)
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

January 1997

Available from TIB Hannover: RR 7739(97-08)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Constraints - eine Wissensrepraesentationsform Ueberblick

Abstract

Extracted data

Constraints - eine Wissensrepraesentationsform Ueberblick

Abstract

Extracted data

Related items

Related items