Logic, Language, Information, and Computation Lawrence S. Moss
Titel: Logic, Language, Information, and Computation, Untertitel: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, Einband: Taschenbuch, Autor: Lawrence S. Moss, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 344, Maße: 235x155x19 mm, Gewicht: 522 g, Verkäufer: buch-mimpf, Schlagworte: Compiler Übersetzer (EDV) EDV / Theorie / Software-Entw. / Software Engineering Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Mathematik / Informatik, Computer Programmiersprachen Roboter - Robotik - Industrieroboter Artificial Intelligence Computer Science Programming languages Software Engineering differential equations formal logic modal logic numerical methods problem solving programming language satisfiablitly problems satisfiablity specifictions.
Jetzt bei Ebay:
