Výsledky hledání pro autora

1

Obálka

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

Vydáno 2000

“...International Conference on Logic for Programming and Automated Reasoning Reunion Island, Francie)...”

Kniha

2

Obálka

ITP 2010 IJCAR 2010.^^CAV 2010.^^SAT 2010 : international conferences, Edinbourgh, UK, July 11-19, 2010 : proceedings.^^Time for verification : essays in memory of Amir Pnueli

Vydáno 2010

“...Automated Reasoning...”

Kniha