Henkin-Ramirez formulas with weight factors

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Annales de l'Institut Fourier 1982, Vol.32 (3), p.91-110
Hauptverfasser:	Berndtsson, B., Andersson, Mats
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!