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…

lieferbar ab 15.6.2026.

Buch

EUR 64,90* Aktueller Preis: EUR 64,90

Artikel merken

In den Warenkorb

Menge ändern

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 innerhalb 2-3 Wochen

Buch

EUR 31,95* Aktueller Preis: EUR 31,95

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 in mind. 4 Wochen

Buch

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

Artikel merken

In den Warenkorb

Menge ändern