MPG.eBooks - Search Results - "artificial intelligence"

Cover Image

1

Isabelle/HOL : A Proof Assistant for Higher-Order Logic

by Nipkow, Tobias
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Artificial intelligence...”

Cover Image

2

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

by Goré, Rajeev
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Artificial intelligence...”

Cover Image

3

Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

by Nipkow, Tobias
Published 1998

Springer Berlin Heidelberg

Subjects: “...Artificial intelligence...”