Showing 1 - 9 results of 9 for search 'Hähnle, Reiner', query time: 0.15s
Refine Results
-
1
-
2Published 2008Other Authors: “...Hähnle, Reiner...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
Conference Proceeding eBook -
3Published 2010Other Authors: “...Hähnle, Reiner...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
Conference Proceeding eBook -
4Published 1995Other Authors: “...Hähnle, Reiner...”
Call Number: Loading...
Located:Loading...Conference Proceeding Book Loading... -
5Published 2019Other Authors: “...Hähnle, Reiner...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook -
6by D'Agostino, MarcelloOther Authors: “...Hähnle, Reiner...”
Published 1999
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook -
7Published 2007Other Authors: “...Hähnle, Reiner...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
Book -
8Published 2007Other Authors: “...Hähnle, Reiner...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
Publisher description
eBook -
9Published 2020Other Authors: “...Hähnle, Reiner...”
Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Automatic theorem proving
Computer software
Logic, Symbolic and mathematical
Artificial intelligence
Computer logic
Java (Computer program language)
Object-oriented methods (Computer science)
Software engineering
Verification
Algebra
Application software
Artificial Intelligence
Compilers (Computer programs)
Compilers and Interpreters
Computer Modelling
Computer science
Computer simulation
Computers
Congresses
Data processing
Electronic digital computers-Evaluation
Information Systems Applications (incl. Internet)
Logic
Logics and Meanings of Programs
Nonclassical mathematical logic
Philosophy (General)
Professions
Quality control
Reliability
Software Engineering