High Quality Content by WIKIPEDIA articles! In computational complexity theory, the language TQBF is a formal language consisting of the true quantified Boolean formulas. A (fully) quantified Boolean formula is a formula in quantified propositional logic w

В наличии:
	Sprinter - 1124 руб.	Перейти		Лучшая цена
	Books.Ru - 1258 руб.	Перейти

Рейтинг книги: 4 из 5, 9 голос(-ов).