Artículos relacionados a Computational Logic and Set Theory (Texts in Computer...
Sinopsis
An advanced, graduate-level text, surveying computational logic and set theory and its application to proof verification techniques. Book develops all needed theory and provides a CD-ROM with a proof-verifier program to demonstrate concepts. Advanced CS students and researches will find the book an essential presentation of the theoretical concepts of proof verification (i.e., proof checker) systems for large-scale software systems. Topics and features: *Describes in-depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics *Provides a verifier aimed at tackling large-scale proof scenarios *Integrates important proof-engineering issues, reflecting the goals of large-scale verifiers
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
An advanced, graduate-level text, surveying computational logic and set theory and its application to proof verification techniques. Book develops all needed theory and provides a CD-ROM with a proof-verifier program to demonstrate concepts. Advanced CS students and researches will find the book an essential presentation of the theoretical concepts of proof verification (i.e., proof checker) systems for large-scale software systems. Topics and features: *Describes in-depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics *Provides a verifier aimed at tackling large-scale proof scenarios *Integrates important proof-engineering issues, reflecting the goals of large-scale verifiers
Biografía del autor
In 1974, Jacob Schwarz, Ph.D., left the business world after 12 years to devote himself full-time to astrological counseling and research. He holds a doctorate in Communications from the University of Illinois and has taught astrology at Temple University in Philadelphia. Dr. Schwartz is the first professional Western Astrologer to lecture and write in Russia, the Ukraine, Kazakhstan and Uzbekistan in modern times. He now has a full-time astrology practice in Wyndmoor, Penn., just outside of Philadelphia.
"Sobre este título" puede pertenecer a otra edición de este libro.
(Ningún ejemplar disponible)
Buscar: Crear una petición¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
Crear una petición
