The decision problem solvable classes of quantificational formulas

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Dreben, Burton (VerfasserIn)
Weitere Verfasser:	Goldfarb, Warren D. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Reading, Mass. u.a. Addison-Wesley 1979
Schlagworte:	Entscheidungsproblem > Entscheidungstheorie > Mathematisches Modell
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XII, 271 S
ISBN:	020102540X 0-201-02540-X