Term rewriting and all that /

Autor Baader, Franz, 1959-, Nipkow, Tobias, 1958-
Vydáno 1998

Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 : proceedings /

Vydáno 1998

Automated reasoning : first International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings /

Vydáno 2001

Isabelle/HOL : a proff assistant for higher-order logic /

Vydáno 2002