Was ist eigentlich eine Gleichung? Diese Frage scheint müßig zu sein, geht man doch seit der Grundschule wie selbstverständlich mit Gleichungen um. Mit „Gleichung“ ist also zwar ein geradezu un ...mehr
Herausgegeben von Domenico Cantone, Herausgegeben von Alfredo Pulvirenti
Titel
From Computational Logic to Computational Biology
Untertitel
Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Beschreibung
Alfredo Ferro’s impact on information technology has traversed diverse domains, encompassing Computational Logic, Data Mining, Bioinformatics, and Complex Systems. After first studying Mathematics a ...mehr
The Semantics and Proof Theory of the Logic of Bunched Implications
Beschreibung
This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However ...mehr
Verlag
Springer Netherland
Erscheinungsdatum
17.04.2013
ISBN/EAN
978-94-017-0091-7
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
149,79 €
Das ist ein E-Book
Autor
Herausgegeben von R.J. De Queiroz
Titel
Logic for Concurrency and Synchronisation
Beschreibung
The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. O ...mehr
Verlag
Springer Netherland
Erscheinungsdatum
11.04.2006
ISBN/EAN
978-0-306-48088-1
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
96,29 €
Das ist ein E-Book
Autor
Lorenz J. Halbeisen
Titel
Combinatorial Set Theory
Untertitel
With a Gentle Introduction to Forcing
Beschreibung
This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set t ...mehr
Verlag
Springer London
Erscheinungsdatum
24.11.2011
ISBN/EAN
978-1-4471-2173-2
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
139,09 €
Autor
Herausgegeben von Amirouche Moktefi, Herausgegeben von Sun-Joo Shin
»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