Theoremproving – alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "theoremproving" finden. Könnten diese Produkte zu Ihrer Suche passen?

Methoden in der Teilhabeforschung

Schriften der Katholischen Hochschule Nordrhein-Westfalen - Band 44

The scientific debate on the social participation of people with disabilities and older people requires the adaptation of existing research methods as well as the development of new ones. This anthology r…

Erscheint bald

Buch

Artikel merken

Benachrichtigung anfordern

Alexander S Blum

Probing the Consistency of Quantum Field Theory I

This twövolume Element reconstructs and analyzes the historical debates on whether renormalized quantum field theory is a mathematically consistent theory. This volume covers the years the years immediate…

lieferbar ab 31.1.2026.

Buch

EUR 27,78* Aktueller Preis: EUR 27,78

Artikel merken

In den Warenkorb

Menge ändern

Keqi Shu, Yukun Lu, Amir Khajepour

Game Theory in Autonomous Driving

Synthesis Lectures on Advances in Automotive Technology

This book comprehensively explores the fundamental aspects of game theory and its application in autonomous driving, with an additional focus on real-world implementations. It provides robust examples of …

lieferbar ab 31.1.2026.

Buch

EUR 42,66* Aktueller Preis: EUR 42,66

Artikel merken

In den Warenkorb

Menge ändern