- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
VI, 153 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Bremen, Univ., Diss., 1994
- Schlagwort
-
Logische Programmiersprache
Logik
Stufe n
Constraint-logische Programmierung
- Urheber
-
Wang, Kang
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:55 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Wang, Kang
Ähnliche Objekte (12)
A foundation for higher-order concurrent constraint programming
A foundation for higher-order concurrent constraint programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Counterexample generation for higher-order logic using functional and logic programming
Logic-based 0-1 constraint solving in constraint logic programming
Projection in constraint logic programming
Cutting planes in constraint logic programming
Extremal fixpoints for higher-order modal logic
Topos semantics for higher-order modal logic
Functional and (constraint) logic programming (WFLP 2001)
Code generation from specifications in higher-order logic
Automatic proofs and refutations for higher-order logic
A foundation for higher-order concurrent constraint programming
A foundation for higher-order concurrent constraint programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Counterexample generation for higher-order logic using functional and logic programming
Logic-based 0-1 constraint solving in constraint logic programming
Projection in constraint logic programming
Cutting planes in constraint logic programming
Extremal fixpoints for higher-order modal logic
Topos semantics for higher-order modal logic
Functional and (constraint) logic programming (WFLP 2001)
Code generation from specifications in higher-order logic
Automatic proofs and refutations for higher-order logic
A foundation for higher-order concurrent constraint programming
A foundation for higher-order concurrent constraint programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Counterexample generation for higher-order logic using functional and logic programming
Logic-based 0-1 constraint solving in constraint logic programming
Projection in constraint logic programming
Cutting planes in constraint logic programming
Extremal fixpoints for higher-order modal logic
Topos semantics for higher-order modal logic
Functional and (constraint) logic programming (WFLP 2001)
Code generation from specifications in higher-order logic