Monografie
FLIP: functional plus logic programming on an integrated platform
- Sprache
-
Englisch
- Identifier
-
97081464X
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
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
- Monografie
Beteiligte
- Sintek, Michael
- Deutsches Forschungszentrum für Künstliche Intelligenz
Ähnliche Objekte (12)
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Functional and logic programming : 10th international symposium ; proceedings
Probalistic and truth-functional many-valued logic programming
Functional and logic programming : 5th international symposium ; proceedings
Functional and logic programming : 9th international symposium ; proceedings
Functional and logic programming : 6th international symposium ; proceedings
Functional and logic programming : 11th international symposium ; proceedings
A Functional Platform Strategy for Integrated Machine Tools
On functional logic programming and its application to testing
On functional logic programming and its application to testing
Functional and constraint logic programming : 20th international workshop ; proceedings
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Functional and logic programming : 10th international symposium ; proceedings
Probalistic and truth-functional many-valued logic programming
Functional and logic programming : 5th international symposium ; proceedings
Functional and logic programming : 9th international symposium ; proceedings
Functional and logic programming : 6th international symposium ; proceedings
Functional and logic programming : 11th international symposium ; proceedings
A Functional Platform Strategy for Integrated Machine Tools
On functional logic programming and its application to testing
On functional logic programming and its application to testing
Functional and constraint logic programming : 20th international workshop ; proceedings
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Functional and logic programming : 10th international symposium ; proceedings
Probalistic and truth-functional many-valued logic programming
Functional and logic programming : 5th international symposium ; proceedings
Functional and logic programming : 9th international symposium ; proceedings
Functional and logic programming : 6th international symposium ; proceedings
Functional and logic programming : 11th international symposium ; proceedings
A Functional Platform Strategy for Integrated Machine Tools
On functional logic programming and its application to testing
On functional logic programming and its application to testing