Výsledky hledání pro autora

1

Obálka

Rewriting techniques and applications : 14th International Conference, RTA 2003 : Valencia, Spain, June 9-11, 2003 : proceedings /

Vydáno 2003

Další autoři: '; “...Nieuwenhuis, Robert...”

Kniha

2

Obálka

Automated deduction - CADE-20 : 20th international conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, proceedings /

Vydáno 2005

Další autoři: '; “...Nieuwenhuis, Robert...”

Kniha

3

Obálka

Logic Programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings /

Vydáno 2001

Další autoři: '; “...Nieuwenhuis, Robert...”

Kniha