Výsledky vyhledávání - "Lecture notes in computer science. Lecture notes in artificial intelligence ;"

1

Obálka

Automated reasoning : 4th International Joint Conference, IJCAR 2008 : Sydney, Australia, August 12-15, 2008 : proceedings /

Vydáno 2008

“...Lecture notes in computer science. Lecture notes in artificial intelligence ;...”

Kniha

2

Obálka

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /

Vydáno 1995

“...Lecture notes in computer science. Lecture notes in artificial intelligence....”

Kniha