Sökt på: ulrich berger
totalt 91 träffar
Computational Logic
Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in …
Computational Logic
Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in …
Logical Approaches to Computational Barriers
CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on …
Bridging Cultural Barriers
This book provides readers with a comprehensive guide to other cultures – the often-unfamiliar ways that people from other cultures think, speak and act. As such, it helps readers …
Kartenzahlungen im Euro-Zahlungsraum
Analyse zum Jahrhundertprojekt Single Euro Payment Area-Projekt (SEPA) – der europaweiten Vereinheitlichung des Massenzahlungsverkehrs. Trotz seiner Tragweite besteht ein …
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory …
Thomas Schutte: Faces & Figures
Over the last two decades, alongside his better known sculptural work, German artist Thomas Schutte (born 1954) has created watercolors and drawings of his acquaintances and …
Bridging Cultural Barriers
This book provides readers with a comprehensive guide to other cultures - the often-unfamiliar ways that people from other cultures think, speak and act. As such, it helps readers …
Island - Reiseführer von Iwanowski
Logic, Construction, Computation
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from …
Logical Approaches to Computational Barriers
CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on …
Kartenzahlungen im Euro-Zahlungsraum
Dieses Buch analysiert das Jahrhundertprojekt der europaweiten Vereinheitlichung des Massenzahlungsverkehrs durch das SEPA-Projekt (Single Euro Payment Area). Obwohl die Tragweite …