MPG.eBooks - Search Results - "Engineering"

Cover Image

1

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

by Basin, David
Published 2004

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

2

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

by Basin, David
Published 2003

Springer Berlin Heidelberg

Subjects: “...Software engineering...”