A program for generating and analyzing term rewriting systems

Bibliographische Detailangaben

1. Verfasser:	Forgaard, Randy (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge, Mass. Mass. Inst. of Technology, Laboratory for Computer Science 1984
Schlagworte:	Automatic theorem proving Wiederherstellung Algorithmus
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!