Yazar
Roberto Sebastiani
5 cilt bulundu.
Cilt sonuçları
Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings
Roberto Sebastiani · Springer
Sayfa sayısı yok · 2012
Computer algorithms / Congresses / Computer software / Verification / Computer software, verification
Automated Reasoning
Didier Galmiche, Stephan Schulz, Roberto Sebastiani · Springer
742 sayfa · 2018
Automatic theorem proving / Logic, symbolic and mathematical
Educación Física. Complementos de formación disciplinar
Carlos González Arévalo, Teresa Lleixà Arribas, Jaume Casamort i Ayats, Xavier Chavarria Navarro, José Devís-Devís, Juan Luis Hernández Álvarez, Fco. Javier Hernández Vázquez, Carmen Peiró Velert, Enric M. Sebastiáni Obrador, Roberto Velazquez Buendia · Editorial Graó
139 sayfa · 2010
Kategori yok