From conventional to institution-independent logic programming

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of logic and computation 2017-09
Hauptverfasser:  u u, I., Fiadeiro, J. L.
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:0955-792X
1465-363X
DOI:10.1093/logcom/exv021