Fol: a proof checker for first-order logic Rev.

Bibliographische Detailangaben

1. Verfasser:	Weyhrauch, R. (VerfasserIn)
Weitere Verfasser:	Thomas, A. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1977
Schriftenreihe:	Reports / STANFORD UNIV STAN-CS-74-432 Reports / STANFORD UNIV MEMO AIM-235.1
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!