Sinopsis
and background.- Ehrenfeucht games and decision procedures.- Integer addition - An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds.
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para The Computational Complexity of Logical Theories
Imagen de archivo
Computational Complexity of Logical Theories
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783662209806
Comprar nuevo
EUR 56,19
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computational Complexity of Logical Theories
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783662209806
Comprar nuevo
EUR 53,13
Gastos de envío:
EUR 4,72
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Computational Complexity of Logical Theories
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783662209806_new
Comprar nuevo
EUR 53,33
Gastos de envío:
EUR 13,60
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles