Herausgegeben von Ewing Lusk, Herausgegeben von Ross Overbeek
Titel
9th International Conference on Automated Deduction
Untertitel
Argonne, Illinois, USA, May 23-26, 1988. Proceedings
Beschreibung
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemo ...mehr
Verlag
Springer-Verlag GmbH
Erscheinungsdatum
23.11.2005
ISBN/EAN
978-3-540-39216-3
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
96,29 €
Autor
Heinz Partoll, Irmgard Wagner, Peter Fejes
Titel
Mathe macchiato Analysis
Untertitel
Cartooonkurs Differenzial- und Intergralrechnung für Schüler und Studenten
Beschreibung
Spielerisch Mathe lernen mit Cartoons! Alle, die für Abitur, Uni oder Berufsweiterbildungen Mathematik verstehen wollen (müssen) finden hier einen idealen Einstieg. Durch dieses Buch werden aus Math ...mehr
Verlag
Pearson Studium ein Imprint von Pearson Benelux B.V.
Erscheinungsdatum
01.02.2010
ISBN/EAN
978-3-86894-027-5
Format
Einband - flex.(Paperback)
Status
aktueller Lieferbarkeitsstatus nicht bekannt, bitte beim Verlag erfragen
Preis
19,95 €
Autor
Wiktor Marek, Janusz Onyszkiewicz
Titel
Elements of Logic and Foundations of Mathematics in Problems
Logic functions and equations are (some of) the most important concepts of Computer Science with many applications such as Binary Arithmetics, Coding, Complexity, Logic Design, Programming, Computer A ...mehr
Verlag
Springer US
Erscheinungsdatum
14.12.2011
ISBN/EAN
978-1-4419-5261-5
Format
Einband - flex.(Paperback)
Status
aktueller Lieferbarkeitsstatus nicht bekannt, bitte beim Verlag erfragen
Preis
85,59 €
Das ist ein E-Book
Autor
Hajnal Andréka, István Németi, Ildikó Sain
Titel
Universal Algebraic Logic
Untertitel
Dedicated to the Unity of Science
Beschreibung
This book connects logic with algebra. It covers universal logic and the question of what logic is as well as universal algebraic logic and duality theories between the world of logics and the world o ...mehr
Verlag
Springer Basel
Erscheinungsdatum
01.11.2019
ISBN/EAN
978-3-7643-8506-4
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
62,99 €
Das ist ein E-Book
Autor
Ethan D. Bloch
Titel
Proofs and Fundamentals
Untertitel
A First Course in Abstract Mathematics
Beschreibung
“Proofs and Fundamentals: A First Course in Abstract Mathematics” 2nd edition is designed as a "transition" course to introduce undergraduates to the writing of rigorous mathematical proofs, and ...mehr
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place ...mehr
»In der Regel sind Probleme, mit denen man in seiner Gegenwart konfrontiert ist, gar nicht so neu, wie man fürchtet, und oft fürchtet man sie nur, weil man sie für neu hält.«
Atlas der Sternenhimmel und Schöpfungsmythen der Menschheit
Untertitel
Beschreibung
Ein einzigartiges Buchprojekt: Raoul Schrotts großer Atlas der Sternenhimmel ermöglicht einen vollkommen neuen Blick auf die Menschheit und ihre weit zurückreichende Geschichte.
„Höchst anregend … jedes Kapitel fragt nach den Bedingungen, die ein freies Leben erst möglich machen, und ist als Ermutigung gedacht: Es liegt in unserer Hand.“
Philosophie Magazin, Elisa Primavera-Levy