Automatic Theorem-Proving

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	The Philosophical quarterly 1967, Vol.17 (69), p.369-370
1. Verfasser:	Lejewski, Czesław
Format:	Review
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!