Jürgen Giesl

Identifiers

Open LibraryOL3178819A

Top Subjects

Logic Design (1)
Mathematics (1)
Computing and Information Technology (1)
Programming Languages - General (1)
Algorithms (1)
Congresses (1)
Computer programming (1)

Books by Jürgen Giesl

Total count: 2

Term Rewriting and Applications16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings (Lecture Notes in Computer Science)1 edition

Springer1899-12-31
Automated Reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Springer2010-01-01