Výsledky vyhledávání - "proceedings of conferences"

1

Obálka

Automated deduction - CADE-18 : 18th International Conference on Automated Deduction : Copenhagen, Denmark, July 27-30, 2002 : proceedings /

Vydáno 2002

“...proceedings of conferences...”

Kniha

2

Obálka

Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /

Vydáno 2002

“...proceedings of conferences...”

Kniha

3

Obálka

Logic Programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings /

Vydáno 2000

“...proceedings of conferences...”

Kniha

4

Obálka

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

Vydáno 2001

“...proceedings of conferences...”

Kniha