On the Use of Types in Logic Programming

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
Informatik-Berichte ; 199

Ereignis
Veröffentlichung
(wo)
Hagen
(wer)
FernUniversität in Hagen
(wann)
2017
Urheber
Meyer, Gregor

URN
urn:nbn:de:hbz:708-dh5853
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:39 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Meyer, Gregor
  • FernUniversität in Hagen

Entstanden

  • 2017

Ähnliche Objekte (12)

On the use of types in logic programming

On the use of types in logic programming

On types and type consistency in logic programming

Hochschulschrift

On types and type consistency in logic programming

Logic programming over polymorphically order-sorted types

Hochschulschrift

Logic programming over polymorphically order-sorted types

Logic programming : proceedings

Konferenzschrift | Kongress

Logic programming : proceedings

Proceedings / 26th Workshop on Logic Programming

Konferenzschrift

Proceedings / 26th Workshop on Logic Programming

On transactions in logic programming languages

On transactions in logic programming languages

Logic programming and databases

Logic programming and databases

Reasoning with logic programming

Reasoning with logic programming

Foundations of logic programming

Foundations of logic programming

Foundations of logic programming

Foundations of logic programming

Logic Programming with Prolog

Logic Programming with Prolog

Records for logic programming

Records for logic programming

Verbundene Objekte