Second-order quantifier elimination: foundations, computational aspects and applications

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Gabbay, Dov M. (VerfasserIn)
Weitere Verfasser:	Schmidt, Renate A. (VerfasserIn), Szałas, Andrzej (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	London King's College Publ. 2008
Schriftenreihe:	Studies in logic 12
Schlagworte:	Logic, Symbolic and mathematical > Prädikatenlogik > Stufe 2 > Quantorenelimination
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	VIII, 308 S.
ISBN:	1904987567 1-904987-56-7 9781904987567 978-1-904987-56-7