Logic for Programming, Artificial Intelligence, and Reasoning Martin Davis
Titel: Logic for Programming, Artificial Intelligence, and Reasoning, Untertitel: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, Einband: Taschenbuch, Autor: Martin Davis, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 656, Maße: 235x155x36 mm, Gewicht: 978 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Answer Set Programming Computational Logic Dependence Logic Preemption Program Synthesis applications of logic automated reasoning axiomatization boolean logic decision procedure embedded dependency equality generating dependency focused proof systems geometric formulas graded temporal logic inclusion dependency modal logic second-order logic static analysis theorem proving.
Jetzt bei Ebay:
