Moss, Lawrence S.

概要

作品:	1 作品在 2 項出版品 1 種語言

書目資訊

Logic, language, information, and computation25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings / by: (1998 :); Martinez, Maricarmen.; Moss, Lawrence S.; Queiroz, Ruy de.; SpringerLink (Online service) (書目-電子資源)

Rohit Parikh on logic, language and society by: Baskent, Can.; Moss, Lawrence S.; Parikh, Rohit, (1936-); Ramanujam, Ramaswamy.; SpringerLink (Online service) (書目-電子資源)

主題

Logic. Philosophy. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Software Engineering. Semantics. Artificial Intelligence (incl. Robotics) Programming Techniques. Programming Languages, Compilers, Interpreters. Language and logic Numeric Computing. Parikh, Rohit, Logic, Symbolic and mathematical Computer Science.