Search Results: 'Manolios'

Search

×
×
×
×
5 results for "Manolios"
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications By Panagiotis Manolios, Matthew Wilding
Paperback: $11.70
Ships in 3-5 business days
These are the Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications. The ACL2 workshops provide the major technical forum for researchers to present and... More > discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in industry, government, and academia.< Less
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications By Panagiotis Manolios, Matthew Wilding
eBook (PDF): $2.50
Download immediately.
These are the Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications. The ACL2 workshops provide the major technical forum for researchers to present and... More > discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in industry, government, and academia.< Less
Computer-Aided Reasoning: An Approach By Matt Kaufmann, Panagiotis Manolios, J Moore
Paperback: $22.12
Ships in 3-5 business days
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and undergraduate courses on software engineering or formal methods. It is... More > also suitable in conjunction with other books in courses on hardware design, discrete mathematics, and theory. It is also appropriate as a reference for business and industry. In this book we present: * A practical functional programming language closely related to Common Lisp; * A formal logic in which defined functions correspond to axioms; * The computer-aided reasoning system ACL2, which includes mechanical support for the proof process. ACL2 is part of the Boyer-Moore family of theorem provers, for which its authors have received the 2005 ACM Software System Award. ACL2 has been successfully applied to projects of commercial interest, including hardware and software verification. Approximately 140 exercises are distributed throughout the book.< Less
La morale chez André Gide et Nikos Kazantzakis By Alix Thimiakis
Paperback: $8.27
Ships in 3-5 business days
(1 Ratings)
Trop longtemps critiqués et jugés immoraux, notamment pour leur perception de la religion, André Gide et Nikos Kazantzakis ont mis leur talent au service d’un projet plus... More > important que le simple désir d’écrire. Fondé sur l’analyse des personnages principaux de chaque roman, de leurs actions et de leur évolution, cet essai répertorie les valeurs essentielles des auteurs. Leur étude comparative permet d’énoncer clairement l’appel des deux auteurs et de statuer sur leur quête du Nouvel Homme, tel qu’ils souhaitaient le créer. Jésus, Manolios, Michel, Saül, Ménalque et Zorba nous emmènent dans les méandres de la pensée de deux écrivains contemporains, l’un français, l’autre grec, mais tous deux porteurs d’un message universel, empreint d’une morale profonde et incontestable.< Less
La morale chez André Gide et Nikos Kazantzakis By Alix Thimiakis
eBook (PDF): $6.35
Download immediately.
(1 Ratings)
Trop longtemps critiqués et jugés immoraux, notamment pour leur perception de la religion, André Gide et Nikos Kazantzakis ont mis leur talent au service d’un projet plus... More > important que le simple désir d’écrire. Fondé sur l’analyse des personnages principaux de chaque roman, de leurs actions et de leur évolution, cet essai répertorie les valeurs essentielles des auteurs. Leur étude comparative permet d’énoncer clairement l’appel des deux auteurs et de statuer sur leur quête du Nouvel Homme, tel qu’ils souhaitaient le créer. Jésus, Manolios, Michel, Saül, Ménalque et Zorba nous emmènent dans les méandres de la pensée de deux écrivains contemporains, l’un français, l’autre grec, mais tous deux porteurs d’un message universel, empreint d’une morale profonde et incontestable.< Less