Automated Reasoning Jasmin Blanchette
42,79 €
Titel: Automated Reasoning, Untertitel: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings, Einband: Taschenbuch, Autor: Jasmin Blanchette, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 772, Maße: 235x155x42 mm, Gewicht: 1147 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Hardware Computer Systems Embedded Systems Logic Programming Semantics Software Design Software Engineering automata theory computer networks computer programming formal languages formal logic network protocols software architecture theoretical computer science.
Jetzt bei Ebay:
