62
Published 2002
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

63
Published 2002
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

64
Published 2002
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

65
Published 2000
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

66
Published 2002
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

67
Published 2002
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

68
by Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus
Published 2002
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

69
Published 2001
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

71
Published 2002
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

72
Published 2002
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

73
Published 2001
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

75
Published 2001
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

76
Published 2002
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

78
Published 2002
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

79
Published 2000
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...

80
Published 2001
Springer Berlin Heidelberg
...Lecture Notes in Computer Science...