<div class="raw-html-embed"> Newsletteraktion: Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025 10% Rabatt auf Ihre Onlinebestellungen. <a href="/newsletter">Infos und Anmeldung.</a></div>

NL_Doormat: Hintergrundfarbe des Newsletter Banners unten in der Doormat. Mit # eingeben z.B. #1405BE

NL_Doormat: Verlinkung zur Newsletter Seite

Über uns

À propos de nous

Zahlung und Lieferung

Paiement et livraison

Nachhaltigkeit

Durabilité

Open Access

Datenschutz

Protection des données

Karriere

Carrière

Impressum

Mentions légales

LEXIA

LEXIA Arbeitsrecht

Was ist LEXIA?

C'est quoi LEXIA ?

LEXIA Familienrecht

Zeitschriften

Revues

recht

Pflegerecht

ZBJV

forumpoenale

ZStrR

Anwaltsrevue

Revue de l'avocat

RSAS

FamPra.ch

ASYL

Life Science Recht

BlAR

Sachbuch

Livres spécialisés

LOKI

Semaphor

Fokusthemen

Focus

Thema

Recht studieren

Arbeitsrecht

Droit du travail

Studium

Études

Familienrecht

Droit de la famille

Sozialversicherungsrecht

Droit des assurances sociales

Strafrecht

Droit pénal

Publikationen

Publications

Literatur

Onlinemodule LEXIA

Modules en ligne LEXIA

Bücher

Livres

Buchreihen

Collections

Datenbanken

recht.ch

Studienliteratur

Littérature pour les études

Services

Dienstleistungen für

Corporate Books

Publishing Lösungen

Aktuelles

Geschäftskunden

Professionnels

Corporate Publishing

Content solutions

Buchhandlungen

Librairies

Veranstaltungen

Événements

Presse

Dozierende

Enseignants

Studierende

Étudiants

Inserierende

Annonceurs

Newsletter

Blog

Autorinnen/Autoren

Auteurs

Unsere Schreibenden

Hilfe

Unsere Autorinnen und Autoren

Liste

Autorenlounge

Espace des auteurs

Bei uns publizieren

Publier chez nous

Autorenstimmen

Témoignages

Verlag

Éditions

Themen

Mehr wissen

Mitarbeitende

Collaborateurs

Geschichte

Histoire

Vision und Mission

Vision et mission

Unser Magazin

Notre magazine

Unternehmenskultur

Culture d'entreprise

Partner

Partenaires

Kontakt

Contact

Shop

Schweizer Recht

Ausländisches Recht

Über unseren Shop

Neuerscheinungen

Nouveautés

Sortiment und Funktionen

Assortiment et recherche

Vorankündigungen

À paraître

Nach Rechtsgebiet

Par domaine juridique

Kommentare

Commentaires

Scheinerman E: A Guide to Infinity

A Guide to Infinity

Ten Mathematical Journeys

Essays in Developmental Psychology

Perspectives from Developmental Psychology

Attitudes and Emotions Towards Mathematics

Annals of Mathematics Studies

A comprehensive new theory of adelic line bundles on quasi-projective varieties over finitely generated fieldsThis book introduces a comprehensive theory of adelic line bundles on quasi-projective varieties over finitely generated fields, developed in both geometric and arithmetic contexts. In the geometric setting, adelic line bundles are defined as limits of line bundles on projective compactifications under the boundary topology. In the arithmetic setting, they are defined as limits of Hermitian line bundles on projective arithmetic compactifications, also under the boundary topology. After establishing these foundational definitions, the book uses the theory to explore key concepts such as intersection theory, effective sections, volumes, and positivity of adelic line bundles. It also applies these results to study height functions of algebraic points and prove an equidistribution theorem on quasi-projective varieties. This theory has broad applications in the study of numerical, dynamical, and Diophantine properties of moduli spaces, quasi-projective varieties, and varieties over finitely generated fields.

Adelic Line Bundles on Quasi-projective Varieties

Navigating Across Mathematical Cultures And Times: Exploring The Diversity Of Discoveries And Proofs

Huge Numbers

Fundamentals and Applications

Graph Theory

De Gruyter Series in Applied and Numerical Mathematics

Advanced Computational Approaches for Rarefied Flows

Beyond Navier-Stokes

How We Gave Computers the Power to Choose for Us

The Irrational Decision

Corwin Mathematics Series

Mathematics Tasks for the Thinking Classroom, Grades 6-12

Graph Mining

Chapman & Hall/CRC Studies in Informatics Series

Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book's website and a solutions manual is available for qualifying instructors.

Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book’s website and a solutions manual is available for qualifying instructors.

Automation of Logic

How Practical Arithmetic Shaped Commerce and Mathematics in Western Europe, 1200–1600

The Craft of Indo-Arabic Numerals

Math Survival Guide: Tips for Science Student, 3E

A Guide to Infinity

Bibliografische Angaben

Schlagworte

Bibliografische Angaben

Schlagworte

Weitere Titel zum Thema