Automated Model Building – Applied Logic Series

Título: Automated Model Building - Applied Logic Series

Autor: Ricardo Caferra, Alexander Leitsch

Sinopse: This is the first book on automated model building, a discipline of automated deduction that is of growing importance. Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to capture the human way of reasoning. The book provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction, in particular those developed by the authors. Finite and infinite model building techniques are presented. The main emphasis is on calculi-based methods, and relevant practical results are provided. Acabamento: Hardcover. Peso: 384g. Dimensões: 23 x 16 x 1.

Contexto da obra

Dentro do catálogo, este livro pode ser situado a partir do tema, da autoria e da proposta editorial. “Automated Model Building – Applied Logic Series”, de Ricardo Caferra, Alexander Leitsch, publicado pela editora Springer Verlag *, em 2004 e com 344 páginas, integra a categoria Ciência da Computação. Esse enquadramento pode tornar mais clara a proposta do livro e o tipo de interesse que ele costuma despertar.

Editora: Springer Verlag *

Páginas: 344

Ano: 2004

Edição: 1ª EDIÇÃO

Linguagem:

ISBN:

ISBN13: 9781402026522