Theoremproving – alle Bücher

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

Ansicht:

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

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
Aktueller Preis: EUR 27,78

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
Aktueller Preis: EUR 42,66
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.