Higher-order horn clauses

Bibliographische Detailangaben

1. Verfasser:	Nadathur, Gopalan (VerfasserIn)
Weitere Verfasser:	Miller, Dale (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Philadelphia, Pa. Univ. of Pennsylvania 1989
Schriftenreihe:	MS-CIS / University of Pennsylvania, School of Engineering and Applied Science, Department of Computer and Information Science 89,52 LINC LAB 157
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!