Expressing and verifying business contracts with abductive logic programming

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal of electronic commerce
Weitere Verfasser:	Alberti, Marco (BerichterstatterIn), Chesani, Federico (BerichterstatterIn), Gavanelli, Marco (BerichterstatterIn), Lamma, Evelina (BerichterstatterIn), Mello, Paola (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2008
Schlagworte:	Unternehmenskooperation > Vertrag > Software > Programmiersprache > Logik > Aufsatz in Zeitschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	graph. Darst.
ISSN:	1086-4415