Automated Reasoning with Analytic Tableaux and Related Methods Sara Negri
53,49 €
Titel: Automated Reasoning with Analytic Tableaux and Related Methods, Untertitel: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings, Einband: Taschenbuch, Autor: Sara Negri, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 488, Maße: 235x155x27 mm, Gewicht: 733 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Science Computer Systems Logic Programming Programming languages Semantics Software Design Software Engineering architecting automata theory computer programming dynamic logic formal languages formal logic linguistics mathematics modal logic sequent calculus theorem provers theoretical computer science.
Jetzt bei Ebay:
