The computational complexity of logical theories

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ferrante, Jeanne (VerfasserIn)
Weitere Verfasser:	Rackoff, Charles (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 1979
Schriftenreihe:	Lecture notes in mathematics 718
Schlagworte:	Predicate calculus > Computational complexity > Goedel's theorem > Mathematics, general > Mathematics > Berechenbarkeit > Mathematische Logik > Prädikatenlogik > Komplexität
Online Zugang:	Inhaltsverzeichnis Autorenbiografie Verlagsangaben Cover http://digitale-objekte.hbz-nrw.de/webclient/DeliveryManager?pid=2778768&custom_att_2=simple_viewer
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!