Artículos relacionados a Logic for Computer Science: Foundations of Automatic...
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) - Tapa blanda
Sinopsis
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Jean H. Gallier is a Professor in the Department of Computer and Information Science at the University of Pennsylvania. His other books include A Guide to the Classification Theorem for Compact Surfaces, Geometric Methods and Applications for Computer Science and Engineering, and Discrete Mathematics.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 16,57
EUR 64,39 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 42,16
EUR 11,54 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Logic for Computer Science: Foundations of Automatic...
Imagen de archivo
Logic for Computer Science: Foundations of Automatic Theorem Proving
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 2nd edition. 496 pages. 9.00x6.00x1.50 inches. In Stock. Nº de ref. del artículo: 0486780821
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Librería: Toscana Books, AUSTIN, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Nº de ref. del artículo: Scanned0486780821
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic for Computer Science Format: Paperback
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Brand New. Nº de ref. del artículo: 9780486780825
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Publicado por
Dover Publications (edition First Edition, First), 2015
ISBN 10: 0486780821
ISBN 13: 9780486780825
Antiguo o usado
Paperback
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. First Edition, First. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Nº de ref. del artículo: 0486780821-8-1
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Publicado por
Dover Publications, 2015
ISBN 10: 0486780821
ISBN 13: 9780486780825
Antiguo o usado
Paperback
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_379575568
Cantidad disponible: 1 disponibles