Bounded arithmetic, propositional logic, and complexity theory /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Krajicek, Jan (συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995.
Σειρά:Encyclopedia of mathematics and its applications
Θέματα:
Διαθέσιμο Online:Publisher description
Table of contents

Διαδίκτυο

Publisher description
Table of contents

Φιλοσοφίας: Unknown

Λεπτομέρειες τεκμηρίων από Φιλοσοφίας: Unknown
Ταξιθετικός Αριθμός: 510.1 KRA
Αντίγραφο 1 Στη βιβλιοθήκη