![Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren](https://bilder.buecher.de/produkte/57/57807/57807969m.jpg)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage
2019
Utz Verlag
![Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren](https://bilder.buecher.de/produkte/25/25682/25682038m.jpg)
Broschiertes Buch
1996
Herbert Utz Verlag
Ähnliche Artikel
![Automatische Synthese rekursiver Programme als Beweisverfahren Automatische Synthese rekursiver Programme als Beweisverfahren](https://bilder.buecher.de/produkte/36/36111/36111408m.jpg)
Broschiertes Buch
1992.
8. April 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55300-7
![Calendars as Types Calendars as Types](https://bilder.buecher.de/produkte/64/64059/64059932m.jpg)
Broschiertes Buch
Data Modeling, Constraint Reasoning, and Type Checking with Calendars. Dissertationsschrift
2., unveränderte Auflage (Erstauflage 2006)
17. Mai 2022
Utz Verlag
![Benutzerauthentisierung durch Analyse des Tippverhaltens mit Hilfe einer Kombination aus statistischen und neuronalen Ve Benutzerauthentisierung durch Analyse des Tippverhaltens mit Hilfe einer Kombination aus statistischen und neuronalen Ve](https://bilder.buecher.de/produkte/40/40891/40891300m.jpg)
Broschiertes Buch
2., unveränderte Auflage
2014
Utz Verlag
![wp-Kalkül und relationale Spezifikation kommunizierender Systeme wp-Kalkül und relationale Spezifikation kommunizierender Systeme](https://bilder.buecher.de/produkte/63/63580/63580441m.jpg)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage (Erstauflage 1996)
2022
Utz Verlag
![Objektzentrierte Visualisierung mehrdimensionaler Daten als Erweiterung konventioneller Datenbankmodelle Objektzentrierte Visualisierung mehrdimensionaler Daten als Erweiterung konventioneller Datenbankmodelle](https://bilder.buecher.de/produkte/57/57832/57832327m.jpg)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage
2019
Utz Verlag
![An Engineering Method for Adaptive, Context-aware Web Applications An Engineering Method for Adaptive, Context-aware Web Applications](https://bilder.buecher.de/produkte/63/63975/63975912m.jpg)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage (Erstauflage 2006)
2022
Utz Verlag
![Organisationsprinzipien zur Integration von geometrischer Modellierung, numerischer Simulation und Visualisierung Organisationsprinzipien zur Integration von geometrischer Modellierung, numerischer Simulation und Visualisierung](https://bilder.buecher.de/produkte/64/64614/64614180m.jpg)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage (Erstauflage 2000)
2022
Utz Verlag
![Accounting and Payment Concepts for Fee-Based Scientific Digital Libraries Accounting and Payment Concepts for Fee-Based Scientific Digital Libraries](https://bilder.buecher.de/produkte/64/64314/64314491m.jpg)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage (Erstauflage 2000)
2022
Utz Verlag
![Fingerprint Verification with Microprocessor Security Tokens Fingerprint Verification with Microprocessor Security Tokens](https://bilder.buecher.de/produkte/25/25850/25850177m.jpg)
![Quantitatives dynamisches Modell zur Simulation von Systembelastungen in Luftverkehrsabläufen Quantitatives dynamisches Modell zur Simulation von Systembelastungen in Luftverkehrsabläufen](https://bilder.buecher.de/produkte/58/58524/58524809m.jpg)
Broschiertes Buch
Dissertationsschrift
3., unveränderte Auflage
2020
Utz Verlag
Ähnlichkeitssuche: Fact®Finder von OMIKRON